Skip to main content
L4Py
Lessons
Introduction
Basics
Types
Functional Pipelines
I/O
A File Archiver
Matching Patterns
A Template Expander
A Database
Building Projects
Binary Data
Type Classes
Tools
Discrete Event Simulation
A Virtual Machine
Conclusion
Appendices
License
Code of Conduct
Contributing
Bibliography
Glossary
Monads
Proofs
Conclusion
Review key concepts
Recognize how the pieces fit together into a coherent programming model
Know where to go next for deeper exploration of Lean