We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e0576ed commit 8c90ae6Copy full SHA for 8c90ae6
source/exec.tex
@@ -2136,7 +2136,7 @@
2136
}
2137
\end{codeblock}
2138
\begin{note}
2139
-of \exposid{env-promise} are used only for the purpose of type computation;
+Specializations of \exposid{env-promise} are used only for the purpose of type computation;
2140
its members need not be defined.
2141
\end{note}
2142
0 commit comments