Commit Graph

3 Commits

Author SHA1 Message Date
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