`metam.lean`: minor fixes/clarifications

leanprover-community / lean4-metaprogramming-book

Apache License 2.0

211 stars 50 forks source link

Closed rish987 closed 2 years ago

rish987 commented 2 years ago

See this discussion for an explanation of the corrections to the WHNF section.