Skip to main content
L4Py
Lessons
Introduction
Basics
Types
I/O and Monads
Conclusion
Appendices
License
Code of Conduct
Contributing
Bibliography
Glossary
Bibliography
Christiansen2023
David Thrane Christiansen:
Functional Programming in Lean
. Microsoft, 2023,
https://lean-lang.org/functional_programming_in_lean/
.