summaryrefslogtreecommitdiff
path: root/src
ModeNameSize
-rw-r--r--Problem1.agda2385logplainabout
-rw-r--r--Problem10.agda5087logplainabout
-rw-r--r--Problem11.agda1975logplainabout
-rw-r--r--Problem12.agda21882logplainabout
-rw-r--r--Problem13.agda4200logplainabout
-rw-r--r--Problem14.agda8486logplainabout
-rw-r--r--Problem15.agda7362logplainabout
-rw-r--r--Problem16.agda1384logplainabout
-rw-r--r--Problem17.agda4757logplainabout
-rw-r--r--Problem18.agda7165logplainabout
-rw-r--r--Problem19.agda7153logplainabout
-rw-r--r--Problem2.agda1500logplainabout
-rw-r--r--Problem20.agda5506logplainabout
-rw-r--r--Problem21.agda2555logplainabout
-rw-r--r--Problem22.agda3681logplainabout
-rw-r--r--Problem23.agda5757logplainabout
-rw-r--r--Problem24.agda5955logplainabout
-rw-r--r--Problem3.agda2826logplainabout
-rw-r--r--Problem4.agda4670logplainabout
-rw-r--r--Problem5.agda1563logplainabout
-rw-r--r--Problem6.agda12446logplainabout
-rw-r--r--Problem7.agda1599logplainabout
-rw-r--r--Problem8.agda3909logplainabout
-rw-r--r--Problem9.agda4570logplainabout
generated by cgit v1.2.3 (git 2.52.0) at 2026-02-04 02:08:20 +0000