Re:Functional Programming in Lean – a book on using Lean 4 t...
by AdieuToLogic on Monday May 29, 2023 @10:27PM
(#36120507)
> I took my comments about ?...: notation out.
I see that now. When I was composing my comment, they were there which is why they were quoted.
My apologies for how the response timing transpired.
Lexing bleeds into syntax and syntax bleeds into semantics.
:. is a possible faux-pas in lexing the sentence around the ?...: construct because of :. being unfortunate.