walck / functional_programming_in_lean Goto Github PK
View Code? Open in Web Editor NEWThis project forked from leanprover/functional_programming_in_lean
A book about functional programming in Lean
Home Page: https://leanprover.github.io/functional_programming_in_lean/
License: Apache License 2.0