Commit 0aaf1a6a authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

typo

parent 7b71a387
......@@ -123,7 +123,7 @@
\newcommand{\constr}[2]{\textsf{Constr}_{#2}(#1)}
%\newcommand{\env}[1]{\textsf{Env}_{#1}}
\newcommand{\env}[1]{\textsf{Inter}_{#1}}
\newcommand{\env}[1]{\textsf{Intertype}_{#1}}
\newcommand{\cons}[2]{{#1}\textsf{::}{#2}}
\newcommand{\fixpoint}{\textsf{gfp}}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment