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:08AM (#36112442)
Thank you! I hope you enjoy the rest of it.
[ Parent | on HN ]

There are no comments on this comment yet.