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
What is Metaprogramming?
Code, Syntax, and Expressions
Monads in Practice
Monads in Practice
Monads in Practice:
MacroM
,
CoreM
,
MetaM
,
TermElabM
, and
TacticM
←
Internal Representations of Code
Monads in Practice: MacroM, CoreM, MetaM, TermElabM, and TacticM
→
Monads in Practice
🔗
Contributors:
Siddhartha Gadgil
Monads in Practice:
MacroM
,
CoreM
,
MetaM
,
TermElabM
, and
TacticM
←
Internal Representations of Code
Monads in Practice: MacroM, CoreM, MetaM, TermElabM, and TacticM
→
