search

leanprover-community / lean4-metaprogramming-book

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

Explanations in `MetaM` #33

Closed siddhartha-gadgil closed 2 years ago

siddhartha-gadgil commented 2 years ago

Have expanded the explanations in MetaM without changing the structure.

arthurpaulino commented 2 years ago

Thanks! The content of this PR has been incorporated in #34