summary refs log tree commit diff
path: root/src
ModeNameSize
-rw-r--r--Day1.idr868log plain
-rw-r--r--Main.idr569log plain