HR

hraban/aoc-idris

playing around with Idris2 through AoC

No README found.

Languages

Idris76.1%Nix23.7%Shell0.2%

Contributors

GNU Affero General Public License v3.0

Created December 18, 2024

Updated December 24, 2024

hraban/aoc-idris | GitHunt