issues
search
leanprover-community
/
lean4-metaprogramming-book
https://leanprover-community.github.io/lean4-metaprogramming-book/
Apache License 2.0
211
stars
50
forks
source link
feat: more on syntax quotations and hygiene
#53
Closed
hargoniX
closed
2 years ago
hargoniX
commented
2 years ago
Addresses the syntax related parts from #47
Addresses the syntax related parts from #47