Lean Notes
Lean Notes
Table of Contents
1.
Metaprogramming Exercises
2.
Call-by-value evaluation with cbv
3.
Bird's determinant algorithm
Index
Index
←
3.2. Meta-level implementation of Bird's algorithm
Index
🔗
E
E
example
←
3.2. Meta-level implementation of Bird's algorithm