This is my repository for solving Advent of Code 2020 in Idris.
I probably didn't solve it yet. I just started learning Idris a few days before the event, so I might not have been able to solve all the puzzles. If you want the rest of the days, I am solving all the puzzles here in TypeScript.
They actually have more on my end, I just gitignored most stuff out. This includes my puzzle input, compiled files, and emacs files.
Put your input into input.txt
, in the same directory as the solution you want. Make sure not to leave a newline at the end.