/src/

• ../
• Day1.idr
• Day2.idr
• Day3.idr
• Main.idr