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
1.1.
Right-associative And
1.2.
Right-associative And (Anne's solution)
←
Lean Notes
1.1. Right-associative And
→
1. Metaprogramming Exercises
🔗
Exercises for learning metaprogramming
1.1.
Right-associative And
1.2.
Right-associative And (Anne's solution)
←
Lean Notes
1.1. Right-associative And
→