leanprover-community / lean4-metaprogramming-book

https://leanprover-community.github.io/lean4-metaprogramming-book/
Apache License 2.0
211 stars 50 forks source link

Update to latest Lean #58

Closed hargoniX closed 2 years ago

hargoniX commented 2 years ago

The most notable change here is the explanation and usage of types syntax (TSyntax) there are two things left to do here: