Software Design by Example in Lean

Lean4

1. Introduction
2. Values, Types, and Functions
3. Algebraic Data Types
4. The Option Type
5. Error Handling and IO
6. Type Classes and Recursion

Designs

1. Objects and Classes
2. Finding Duplicate Files
3. Matching Patterns
4. Parsing Text
5. Running Tests
6. An Interpreter
7. Functions and Closures
8. A File Archiver
9. An HTML Validator
10. A Template Expander
11. A Code Linter
12. Page Layout
13. Binary Data
14. A Database
15. A Build Manager
16. A Package Manager
17. A Virtual Machine
18. Generating Documentation
19. A Discrete Event Simulator
20. Conclusion

Appendices

1. License
2. Code of Conduct
3. Contributing
4. Bibliography
5. Glossary

start where you are · use what you have · help who you can