From cc46e2aac5571a02901510db46dd3888d0de95ac Mon Sep 17 00:00:00 2001
From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Tue, 4 Jun 2024 19:27:29 +0000
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)
Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
---
spec/changelog.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/spec/changelog.tex b/spec/changelog.tex
index ece5aeb..3ff6258 100644
--- a/spec/changelog.tex
+++ b/spec/changelog.tex
@@ -18,7 +18,7 @@ Breaking changes:
be \texttt{(x S) (:= (y S) x)}.
\item The arguments for \proofRule{forall_inst} have been changed to
no longer take the shape of bindings using \texttt{(:= x c)}.
- Instead, the list of instatiation terms must follow the variable order.
+ Instead, the list of instatiation terms must follow the variable order and cover all the respective bound variables.
\end{itemize}
\noindent
--
GitLab