Nice. Approved, thanks!
Coq Translation Kumited - please accept :-D
This comment is hidden because it contains spoiler information about the solution
jesus christ this was so easy
It should be fixed by now !
Minor grammar nitpick: punctuation in English should only have space after, not before.
So instead of
foldMap all the things !
You should use
foldMap all the things!
I always forget that's a base function!
Allright, looks good! Make a kumite fork if you want to.
Yes, it's dumb. No, I don't care.