agdaTemplate
Template
Updated 2025-05-29 15:53:11 +02:00
Updated 2024-10-09 11:37:47 +02:00
Updated 2023-05-31 12:14:04 +02:00
Solver for the mathebau adventskalendar sodoku
Updated 2023-03-24 23:53:43 +01:00