Lean 4 (Meta)programming Cookbook
Lean 4 (Meta)programming Cookbook
Table of Contents
What is Metaprogramming?
Syntax and Macros
Working with Expressions
Elaboration for Syntax
Tactics
File System
Data Structures
I/O and Processes
Maintaining state
Index
How to build a Recipe
Cookbook Contributors
Syntax and Macros
Quasi-Quotes: Creating and Matching Syntax
Adding Term Syntax
Adding command syntax
Adding syntax (categories)
Adding command syntax
←
Adding Term Syntax
Adding syntax (categories)
→
Adding command syntax
🔗
←
Adding Term Syntax
Adding syntax (categories)
→
