News for hackers. Stuff that matters.

A comment on Functional Programming in Lean – a book on using Lean 4 to write programs. Parent comment

Re:Functional Programming in Lean – a book on using Lean 4 t... by d_christiansen on Monday May 29, 2023 @06:41AM (#36112609)
I agree - this is inelegant. I'll make an issue in the repo to rephrase this sentence for the next time I do a round of typo fixes.

Thanks for the feedback!

[ Parent | on HN ]

There are no comments on this comment yet.