GitHub - lifegame1lu111/aoc2024-functional: My solutions to advent of code in Haskell, Lean4 and Agda 2. · GitHub

Name		Name	Last commit message	Last commit date
Day01.lean		Day01.lean
Day02.lean		Day02.lean
Day03.hs		Day03.hs
Day04.hs		Day04.hs
Day05.hs		Day05.hs
Day06.lean		Day06.lean
Day07.lean		Day07.lean

About

My solutions to advent of code in Haskell, Lean4 and Agda 2.

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages