Danila Fedorin 2ed1ce8b06 Add day 4 solutions.		2020-12-03 21:41:49 -08:00
day1.cr	Add two-pointer solution for day 1.	2020-11-30 21:58:36 -08:00
day1.v	Add day 1 part 1 formalized in Coq.	2020-12-01 19:44:47 -08:00
day2.cr	Use xor in part 2 of day 2.	2020-12-01 21:45:41 -08:00
day3.cr	Add day3 solution.	2020-12-02 21:14:34 -08:00
day4.cr	Add day 4 solutions.	2020-12-03 21:41:49 -08:00
input.sh	Add a script to pull input from AoC	2020-12-02 20:47:58 -08:00
template.cr	Fix type in template file.	2020-11-30 21:13:36 -08:00