leanprover-community / lean4-metaprogramming-book

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

`mkAppN` vs `mkAppM` #36

Closed arthurpaulino closed 2 years ago

arthurpaulino commented 2 years ago

Explain the difference between the two, emphasizing on "N" vs "M" for an easier way to learn.