Commit Graph

7 Commits

Author SHA1 Message Date
eb80c5c71c Fixes 2024-06-04 13:26:15 +02:00
f08c30f12b Prototype better syntax for QCM 2024-05-23 18:43:15 +02:00
a04f6296cf Rename a few things 2024-05-23 13:06:51 +02:00
7ef9aa57c7 Tweak exam code 2024-05-23 09:41:26 +02:00
15c2cb4cac Use partial application for nicer show API 2024-05-23 09:40:55 +02:00
2a2d6cd88a Fix embarrassing point counting bug 2024-05-23 09:40:04 +02:00
0831465257 Docs, labs 2024-05-23 08:11:02 +02:00