From 9e9d13c45dd0921805b7a0a210c342d969dd9d29 Mon Sep 17 00:00:00 2001 From: Nathan McCarty Date: Thu, 23 Jan 2025 00:47:15 -0500 Subject: [PATCH] Add references heading to day 11 --- src/Years/Y2015/Day11.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Years/Y2015/Day11.md b/src/Years/Y2015/Day11.md index 4be5ba5..0f6ccc6 100644 --- a/src/Years/Y2015/Day11.md +++ b/src/Years/Y2015/Day11.md @@ -222,4 +222,6 @@ day11 : Day day11 = First 11 part1 --> +## References + [^1]: https://github.com/stefan-hoeck/idris2-refined/