My solutions for AoC21 in Idris2
Why do you think that https://github.com/jumper149/AoC2021 is a good alternative to AoC2021
My solutions for AoC21 in Idris2
Why do you think that https://github.com/jumper149/AoC2021 is a good alternative to AoC2021