Commit Graph

12 Commits

Author SHA1 Message Date
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
b475e4bb8d Document compile mode 2024-05-23 08:21:39 +02:00
0831465257 Docs, labs 2024-05-23 08:11:02 +02:00
bb187cd223 Fix link 2024-05-22 21:51:55 +02:00
feb14a3bf1 Add readme 2024-05-22 21:51:10 +02:00
a00747fe47 Proper package and demo 2024-05-22 21:43:01 +02:00
8f3a5f4ce7 Tweaks 2024-05-22 19:24:29 +02:00
39de993483 Initial commit 2024-05-22 15:10:56 +02:00