8. Metaprogramming¶

8.1. Quotations¶

8.2. User Defined Attributes¶

The Lean Reference Manual

1. Using Lean
2. Lexical Structure
3. Expressions
4. Declarations
5. Other Commands
6. Tactics
7. Programming
8. Metaprogramming
- 8.1. Quotations
- 8.2. User Defined Attributes
9. Libraries

PDF version
Lean Home

Quick search

©2017, Jeremy Avigad, Gabriel Ebner, Sebastian Ullrich. | Powered by Sphinx 1.6.3 & Alabaster 0.7.10 | Page source