Approved
Upgrade Lean translation to 3.39.1 (import data.stream is now in data.stream.defs, change in Preloaded)
data.stream
data.stream.defs
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!
base
Allright, looks good! Make a kumite fork if you want to.
Yes, it's dumb. No, I don't care.
Loading collection data...
Approved
Upgrade Lean translation to 3.39.1
(import
data.streamis now indata.stream.defs, change in Preloaded)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
You should use
This comment is hidden because it contains spoiler information about the solution
I always forget that's a
basefunction!Allright, looks good! Make a kumite fork if you want to.
This comment is hidden because it contains spoiler information about the solution
Yes, it's dumb. No, I don't care.