Re:Functional Programming in Lean – a book on using Lean 4 t...
by ggm on Monday May 29, 2023 @12:55AM
(#36110794)
The other thing I took out is "I get called a fool over beer about this" because nobody seems to find my confusion very compelling. I think my own interpretation of operator in the context of syntax as a single atom is provably false. The problem is, it's burnt into my personal mental lexer over textual representation of code.
[ Parent
| on HN ]
There are no comments on this comment yet.