My Advent of Code 2024 solutions, written in Idris2 (incomplete)
- Idris 96.1%
- Nix 3.9%
| src | ||
| .envrc | ||
| .gitignore | ||
| advent-of-code-2024.ipkg | ||
| flake.lock | ||
| flake.nix | ||
| LICENSE | ||
| src | ||
| .envrc | ||
| .gitignore | ||
| advent-of-code-2024.ipkg | ||
| flake.lock | ||
| flake.nix | ||
| LICENSE | ||