News for hackers. Stuff that matters.

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

Re:Functional Programming in Lean – a book on using Lean 4 t... by foderking on Monday May 29, 2023 @02:31AM (#36111306)
this is actually a good read
[ Parent | on HN ]
Re:Functional Programming in Lean – a book on using Lean 4 t... by d_christiansen on Monday May 29, 2023 @06:08AM (#36112442)
Thank you! I hope you enjoy the rest of it.
[ Parent | on HN ]