Advent-of-Code/AdventOfCode-2020
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
8 Commits 1 Branch 0 Tags
bcb7d535a4c70c53a1c2b8689fdf35263b8d336d
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Danila Fedorin bcb7d535a4 Use xor in part 2 of day 2.
2020-12-01 21:45:41 -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
template.cr
Fix type in template file.
2020-11-30 21:13:36 -08:00
Description
No description provided
752 KiB
Languages
Crystal 66%
Coq 32.2%
J 1.6%
Shell 0.2%