15 Jan
2024
15 Jan
'24
10:02 p.m.
The latest revision feels pretty good, I have a few more comments, but mostly nitpicks (and then Henri's suggestion: without trying it seems that you just need to stick a `todo(sm>=6)` in front of each `draw quad` line).