Advent of Code 2021 in Idris (amateur hour)
Why do you think that https://github.com/p88h/aoc2021 is a good alternative to aoc2021
Advent of Code 2021 in Idris (amateur hour)
Why do you think that https://github.com/p88h/aoc2021 is a good alternative to aoc2021