Lean for Python Programmers

Lessons

1. Introduction
2. Basics
3. Types
4. I/O and Monads
5. 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