5 Commits

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