/aoc-2021

Advent of Code 2021 solutions in the dependently typed functional programming language Idris2

Primary LanguageIdrisMIT LicenseMIT

No issues in this repository yet.