summary refs log tree commit diff
path: root/src/Main.idr
AgeCommit message (Expand)Author
2024-12-01made some AoC infrastructureCrazazy