Re:Functional Programming in Lean – a book on using Lean 4 t...
by d_christiansen on Monday May 29, 2023 @06:38AM
(#36112592)
I'm the author - I think that it's good to signal this kind of thing redundantly, and not rely on the details of typesetting to avoid confusion. I'll create an issue in the repo to rephrase the sentence.
[ Parent
| on HN ]
There are no comments on this comment yet.