diff --git a/README.md b/README.md index db8f4f9..59d1b13 100644 --- a/README.md +++ b/README.md @@ -1,8 +1,8 @@ # Advent The goal of this project is to get all 500 currently available stars in the form -of one single idris application, and thoroughly document the results as literate -idris files. +of one single Idris application, and thoroughly document the results as literate +Idris files. # Index of non-day modules diff --git a/src/Years/Y2015/Day1.md b/src/Years/Y2015/Day1.md index cfc4950..f8820d3 100644 --- a/src/Years/Y2015/Day1.md +++ b/src/Years/Y2015/Day1.md @@ -1,4 +1,4 @@ -# Year 2015 Day 1 +# [Year 2015 Day 1](https://adventofcode.com/2015/day/1) Pretty simple, basic warmup problem, nothing really novel is on display here except the effectful part computations. diff --git a/src/Years/Y2015/Day10.md b/src/Years/Y2015/Day10.md index 7971126..201e0c5 100644 --- a/src/Years/Y2015/Day10.md +++ b/src/Years/Y2015/Day10.md @@ -1,4 +1,4 @@ -# Year 2015 Day 10 +# [Year 2015 Day 10](https://adventofcode.com/2015/day/10) This day doesn't really add anything new, but we will show off our new views for viewing integers as lists of digits. diff --git a/src/Years/Y2015/Day11.md b/src/Years/Y2015/Day11.md index 73820f1..4be5ba5 100644 --- a/src/Years/Y2015/Day11.md +++ b/src/Years/Y2015/Day11.md @@ -1,4 +1,4 @@ -# Year 2015 Day 11 +# [Year 2015 Day 11](https://adventofcode.com/2015/day/11) This day provides a gentle introduction to refinement types, types which augment other types with a predicate that must hold for all the values of the refined diff --git a/src/Years/Y2015/Day2.md b/src/Years/Y2015/Day2.md index 43ca0b1..22081b2 100644 --- a/src/Years/Y2015/Day2.md +++ b/src/Years/Y2015/Day2.md @@ -1,4 +1,4 @@ -# Year 2015 Day 2 +# [Year 2015 Day 2](https://adventofcode.com/2015/day/2) This day provides us our first little taste of effectful parsing diff --git a/src/Years/Y2015/Day3.md b/src/Years/Y2015/Day3.md index 9dd7ecc..195d1d9 100644 --- a/src/Years/Y2015/Day3.md +++ b/src/Years/Y2015/Day3.md @@ -1,4 +1,4 @@ -# Year 2015 Day 3 +# [Year 2015 Day 3](https://adventofcode.com/2015/day/3) This day provides a gentle introduction to `mutual` blocks and mutually recursive functions. diff --git a/src/Years/Y2015/Day4.md b/src/Years/Y2015/Day4.md index a1fee57..f907fa1 100644 --- a/src/Years/Y2015/Day4.md +++ b/src/Years/Y2015/Day4.md @@ -1,4 +1,4 @@ -# Year 2015 Day 4 +# [Year 2015 Day 4](https://adventofcode.com/2015/day/4) This day introduces us to a little bit of FFI, linking to openssl to use it's `MD5` functionality. diff --git a/src/Years/Y2015/Day5.md b/src/Years/Y2015/Day5.md index d947885..e41bd96 100644 --- a/src/Years/Y2015/Day5.md +++ b/src/Years/Y2015/Day5.md @@ -1,4 +1,4 @@ -# Year 2015 Day 5 +# [Year 2015 Day 5](https://adventofcode.com/2015/day/5) This day provides a nice chance to introduce [views](https://idris2.readthedocs.io/en/latest/tutorial/views.html), diff --git a/src/Years/Y2015/Day6.md b/src/Years/Y2015/Day6.md index a2b5cd0..6534ca5 100644 --- a/src/Years/Y2015/Day6.md +++ b/src/Years/Y2015/Day6.md @@ -1,4 +1,4 @@ -# Year 2015 Day 6 +# [Year 2015 Day 6](https://adventofcode.com/2015/day/6)