Closed JLimperg closed 2 years ago
The book used to contain "metavariable", "meta variable" and "meta-variable". We now consistenly use "metavariable", which is the spelling used in Lean 4.
The book used to contain "metavariable", "meta variable" and "meta-variable". We now consistenly use "metavariable", which is the spelling used in Lean 4.