discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Functional Programming in Lean
https://leanprover.github.io/functional_programming_in_lean/
37 comments
28/5/2023
Functional Programming for the Web. Lean by solving practical problems
https://leanpub.com/purescript/read
2 comments
27/11/2014
Reddit
Functional Programming in Lean - a free online book on writing programs in the Lean theorem prover, without assuming pre-existing functional programming knowledge
https://leanprover.github.io/functional_programming_in_lean/
8 comments
28/5/2023
programming