advent/src/Years/Y2015.md

module Years.Y2015

import Structures.Dependent.FreshList

import Runner

import Years.Y2015.Day1
import Years.Y2015.Day2
import Years.Y2015.Day3
import Years.Y2015.Day4
import Years.Y2015.Day5
import Years.Y2015.Day6
import Years.Y2015.Day7
import Years.Y2015.Day8
import Years.Y2015.Day9
import Years.Y2015.Day10
import Years.Y2015.Day11
import Years.Y2015.Day12

Days

export
y2015 : Year
y2015 = MkYear 2015 [

Day 1

    day1

Day 2

  , day2

Day 3

  , day3

Day 4

  , day4

Day 5

  , day5

Day 6

  , day6

Day 7

  , day7

Day 8

  , day8

Day 9

  , day9

Day 10

  , day10

Day 11

  , day11

Day 12

  , day12

  ]