In Section 3.6.1 “Variable Binders”, the lambda paragraph ends with:
See Section 3.8 for more details on the use of this binder.
But Section 3.8 (Core Theory) doesn’t describe lambda; the relevant material is in Section 3.9 (Higher-order Core Theory).
Location:
|
See Section~\ref{sec:core} for more details on the use of this binder. |
In Section 3.6.1 “Variable Binders”, the lambda paragraph ends with:
But Section 3.8 (Core Theory) doesn’t describe
lambda; the relevant material is in Section 3.9 (Higher-order Core Theory).Location:
SMT-LIB-2/Reference/concrete-syntax.tex
Line 662 in 0dbc965