leanprover-community/lean4-metaprogramming-book Issues
typo in MetaM chapter
UpdatedAdd to vscode docview?
Updated`let x := v in b` syntax
Updated`#h` does not work
Closedlinks to md files are broken
Closed 5chapter 9 <;>
UpdatedAdding exercises
Updated 1metam: add section on debugging
Updated 1Clarity for Tactic chapter
UpdatedIterate on feedback from Dan
Updated 1Iterate on feedback from Patrick
Closed 1`mkAppN` vs `mkAppM`
Closed