Day 8 template

README.md

@@ -36,3 +36,4 @@ solution.
   - [Day 5](src/Years/Y2015/Day5.md)
   - [Day 6](src/Years/Y2015/Day6.md)
   - [Day 7](src/Years/Y2015/Day7.md)
+  - [Day 8](src/Years/Y2015/Day8.md)

src/Years/Y2015.md

@@ -14,6 +14,7 @@ import Years.Y2015.Day4
 import Years.Y2015.Day5
 import Years.Y2015.Day6
 import Years.Y2015.Day7
+import Years.Y2015.Day8
 -->
 
 # Days
@@ -66,6 +67,12 @@ y2015 = MkYear 2015 [
   , day7
 ```
 
+## [Day 8](Y2015/Day8.md)
+
+```idris
+  , day8
+```
+
 ```idris
   ]
 ```

src/Years/Y2015/Day8.md

@@ -0,0 +1,32 @@
+# Year 2015 Day 8
+
+<!-- idris
+module Years.Y2015.Day8
+
+import Control.Eff
+
+import Runner
+-->
+
+```idris
+```
+
+<!-- idris
+%default total
+-->
+
+## Parsing
+
+## Part Functions
+
+### Part 1
+
+```idris
+part1 : Eff (PartEff String) (Nat, ())
+```
+
+<!-- idris
+public export
+day8 : Day
+day8 = First 8 part1
+-->