search

leanprover-community / lean4-metaprogramming-book

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

Fix typos #94

Closed tomaz1502 closed 1 year ago

tomaz1502 commented 1 year ago

Fix a couple of typos in the chapter Macros, in the section Syntax Quotations