AoC2024

test
- src
  - Main.idr
src
- Days
  - Day1.idr
  - Day2.idr
  - Day3.idr
  - Day4.idr
  - Day5.idr
  - Day6.idr
  - Day7.idr
  - Day8.idr
  - Day9.idr
  - Day10.idr
  - Day11.idr
  - Day12.idr
  - Day13.idr
  - Day14.idr
  - Day15.idr
  - Day16.idr
  - Day17.idr
- Util
  - Eff.idr
  - Graph.idr
- Days.idr
- LazyListT.idr
- Main.idr
- Util.idr