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 epgui on Monday May 29, 2023 @06:22PM (#36118799)
You may be right— My knowledge of these languages does not run very deep (although I am enthusiastic about them and am learning).
[ Parent | on HN ]

There are no comments on this comment yet.