Advent of code 2023 in Koka and Lean, depending on the compiler's mood
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool