7. Programming
¶
7.1. The Virtual Machine
¶
7.2. Monads
¶
(Describe instances of monads and monadic notation.)
The Lean Reference Manual
1. Using Lean
2. Lexical Structure
3. Expressions
4. Declarations
5. Other Commands
6. Tactics
7. Programming
7.1. The Virtual Machine
7.2. Monads
8. Metaprogramming
9. Libraries
PDF version
Lean Home
Quick search