• src
  • Years
    • Y2015
      • Day1.idr
      • Day2.idr
    • Y2015.idr
  • Util
    • Eff.idr
  • Main.idr
  • Runner.md
  • Util.idr
• test
  • src