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