diff --git a/README.md b/README.md index 27f2774..f40d0a7 100644 --- a/README.md +++ b/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) diff --git a/src/Years/Y2015.md b/src/Years/Y2015.md index 1b1e47f..d3be367 100644 --- a/src/Years/Y2015.md +++ b/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 ] ``` diff --git a/src/Years/Y2015/Day8.md b/src/Years/Y2015/Day8.md new file mode 100644 index 0000000..ddeb786 --- /dev/null +++ b/src/Years/Y2015/Day8.md @@ -0,0 +1,32 @@ +# Year 2015 Day 8 + + + +```idris +``` + + + +## Parsing + +## Part Functions + +### Part 1 + +```idris +part1 : Eff (PartEff String) (Nat, ()) +``` + +