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 pjmlp on Monday May 29, 2023 @02:12AM (#36111204)
Congratulations on releasing it.

Looking forward to read it during Summer time.

[ Parent | on HN ]

There are no comments on this comment yet.