Lean Notes
Lean Notes
Table of Contents
1.
Metaprogramming Exercises
2.
Call-by-value evaluation with cbv
3.
Bird's determinant algorithm
Index
1. Metaprogramming Exercises
→
Lean Notes
🔗
Paul Cadman
Welcome to Lean Notes — a miscellaneous collection of notes on Lean and metaprogramming.
Contents
1.
Metaprogramming Exercises
2.
Call-by-value evaluation with cbv
3.
Bird's determinant algorithm
Index
1. Metaprogramming Exercises
→