Advent of Code 2021 in Idris (amateur hour)
Why do you think that https://gitlab.com/asciiphil/advent-of-code is a good alternative to aoc2021
Advent of Code 2021 in Idris (amateur hour)
Why do you think that https://gitlab.com/asciiphil/advent-of-code is a good alternative to aoc2021