Nathan McCarty 39cf6654ba remove simple		2022-12-07 15:00:06 -05:00
..
Main.idr	remove simple	2022-12-07 15:00:06 -05:00
input	Day 7 Part 1	2022-12-07 14:41:40 -05:00