├── .gitignore ├── Makefile ├── README.md ├── SUMMARY.md ├── _CoqConfig ├── _CoqConfig.extras ├── ephemeral_notes.md ├── lib.v ├── lib ├── grid.v ├── io.v ├── itree.v ├── mock.v ├── mock_spec.v ├── rel.v ├── stream.v ├── string.v └── utils.v ├── sol ├── day01_1.v ├── day01_2.v ├── day02_1.v ├── day02_2.v ├── day03_1.v ├── day03_2.v ├── day04_1.v ├── day05_1.v ├── day05_2.v ├── day05_common.v ├── day07_1.v ├── day07_2.v ├── day09_1.v ├── day10_1.v ├── day16_1.v ├── day16_2.v ├── day16_common.v └── day23_1.v └── txt ├── day01 ├── day02 ├── day02.bis ├── day03 ├── day04 ├── day05 ├── day07 ├── day09 ├── day10 ├── day16 ├── day16.bis └── day23 /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/.gitignore -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/README.md -------------------------------------------------------------------------------- /SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/SUMMARY.md -------------------------------------------------------------------------------- /_CoqConfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/_CoqConfig -------------------------------------------------------------------------------- /_CoqConfig.extras: -------------------------------------------------------------------------------- 1 | lib/itree.v 2 | -------------------------------------------------------------------------------- /ephemeral_notes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/ephemeral_notes.md -------------------------------------------------------------------------------- /lib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/lib.v -------------------------------------------------------------------------------- /lib/grid.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/lib/grid.v -------------------------------------------------------------------------------- /lib/io.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/lib/io.v -------------------------------------------------------------------------------- /lib/itree.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/lib/itree.v -------------------------------------------------------------------------------- /lib/mock.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/lib/mock.v -------------------------------------------------------------------------------- /lib/mock_spec.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/lib/mock_spec.v -------------------------------------------------------------------------------- /lib/rel.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/lib/rel.v -------------------------------------------------------------------------------- /lib/stream.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/lib/stream.v -------------------------------------------------------------------------------- /lib/string.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/lib/string.v -------------------------------------------------------------------------------- /lib/utils.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/lib/utils.v -------------------------------------------------------------------------------- /sol/day01_1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day01_1.v -------------------------------------------------------------------------------- /sol/day01_2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day01_2.v -------------------------------------------------------------------------------- /sol/day02_1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day02_1.v -------------------------------------------------------------------------------- /sol/day02_2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day02_2.v -------------------------------------------------------------------------------- /sol/day03_1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day03_1.v -------------------------------------------------------------------------------- /sol/day03_2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day03_2.v -------------------------------------------------------------------------------- /sol/day04_1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day04_1.v -------------------------------------------------------------------------------- /sol/day05_1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day05_1.v -------------------------------------------------------------------------------- /sol/day05_2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day05_2.v -------------------------------------------------------------------------------- /sol/day05_common.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day05_common.v -------------------------------------------------------------------------------- /sol/day07_1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day07_1.v -------------------------------------------------------------------------------- /sol/day07_2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day07_2.v -------------------------------------------------------------------------------- /sol/day09_1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day09_1.v -------------------------------------------------------------------------------- /sol/day10_1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day10_1.v -------------------------------------------------------------------------------- /sol/day16_1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day16_1.v -------------------------------------------------------------------------------- /sol/day16_2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day16_2.v -------------------------------------------------------------------------------- /sol/day16_common.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day16_common.v -------------------------------------------------------------------------------- /sol/day23_1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/sol/day23_1.v -------------------------------------------------------------------------------- /txt/day01: -------------------------------------------------------------------------------- 1 | +1 2 | -2 3 | +3 4 | +1 5 | -------------------------------------------------------------------------------- /txt/day02: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/txt/day02 -------------------------------------------------------------------------------- /txt/day02.bis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/txt/day02.bis -------------------------------------------------------------------------------- /txt/day03: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/txt/day03 -------------------------------------------------------------------------------- /txt/day04: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/txt/day04 -------------------------------------------------------------------------------- /txt/day05: -------------------------------------------------------------------------------- 1 | dabAcCaCBAcCcaDA 2 | -------------------------------------------------------------------------------- /txt/day07: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/txt/day07 -------------------------------------------------------------------------------- /txt/day09: -------------------------------------------------------------------------------- 1 | 9 2 | 25 3 | -------------------------------------------------------------------------------- /txt/day10: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/txt/day10 -------------------------------------------------------------------------------- /txt/day16: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/txt/day16 -------------------------------------------------------------------------------- /txt/day16.bis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/txt/day16.bis -------------------------------------------------------------------------------- /txt/day23: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lysxia/advent-of-coq-2018/HEAD/txt/day23 --------------------------------------------------------------------------------