Nathan McCarty 27d37e64b3 Day 5: Fuck you, depends your types		2022-12-05 19:59:52 -05:00
..
Main.idr	Day 5 Part 2	2022-12-05 16:29:26 -05:00
Main2.idr	Day 5: Fuck you, depends your types	2022-12-05 19:59:52 -05:00
input	Day 5 Part 1	2022-12-05 16:14:22 -05:00