module Years.Y2015
import Structures.Dependent.FreshList
import Runner
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
Day 13
, day13
Day 14
, day14
]