/src/
../
Day1.idr
Day2.idr
Main.idr