From 080b9f8c77b65fb9916e1118c621dd945d807df3 Mon Sep 17 00:00:00 2001 From: Nathan McCarty Date: Fri, 10 Jan 2025 15:31:24 -0500 Subject: [PATCH] Include year in markdown headers --- src/Years/Y2015/Day1.md | 2 +- src/Years/Y2015/Day2.md | 2 +- src/Years/Y2015/Day3.md | 2 +- src/Years/Y2015/Day4.md | 2 +- src/Years/Y2015/Day5.md | 2 +- src/Years/Y2015/Day6.md | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) diff --git a/src/Years/Y2015/Day1.md b/src/Years/Y2015/Day1.md index 352f7cd..38c9e42 100644 --- a/src/Years/Y2015/Day1.md +++ b/src/Years/Y2015/Day1.md @@ -1,4 +1,4 @@ -# Day 1 +# Year 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/Day2.md b/src/Years/Y2015/Day2.md index 733f351..51641d4 100644 --- a/src/Years/Y2015/Day2.md +++ b/src/Years/Y2015/Day2.md @@ -1,4 +1,4 @@ -# Day 2 +# Year 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 cb3edbc..af7f5e2 100644 --- a/src/Years/Y2015/Day3.md +++ b/src/Years/Y2015/Day3.md @@ -1,4 +1,4 @@ -# Day 3 +# Year 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 29c4ca8..04d5f40 100644 --- a/src/Years/Y2015/Day4.md +++ b/src/Years/Y2015/Day4.md @@ -1,4 +1,4 @@ -# Day 4 +# Year 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 ba47358..40ed6f0 100644 --- a/src/Years/Y2015/Day5.md +++ b/src/Years/Y2015/Day5.md @@ -1,4 +1,4 @@ -# Day 5 +# Year 2015 Day 5 This day provides a nice chance to introduce [views](https://idris2.readthedocs.io/en/latest/tutorial/views.html), specifically `String`'s [`AsList`](https://www.idris-lang.org/docs/idris2/current/base_docs/docs/Data.String.html#Data.String.AsList) view, which lets us treat `String`s as if they were lazy lists or iterators. diff --git a/src/Years/Y2015/Day6.md b/src/Years/Y2015/Day6.md index a41508a..cc95926 100644 --- a/src/Years/Y2015/Day6.md +++ b/src/Years/Y2015/Day6.md @@ -1,4 +1,4 @@ -# Day 6 +# Year 2015 Day 6