|
@@ -245,7 +245,7 @@
|
|
\newcommand{\CBEGIN}[2]{\LP\key{begin}~#1~#2\RP}
|
|
\newcommand{\CBEGIN}[2]{\LP\key{begin}~#1~#2\RP}
|
|
\newcommand{\CNEG}[1]{\LP\key{-}~#1\RP}
|
|
\newcommand{\CNEG}[1]{\LP\key{-}~#1\RP}
|
|
\newcommand{\CNOT}[1]{\LP\key{not}~#1\RP}
|
|
\newcommand{\CNOT}[1]{\LP\key{not}~#1\RP}
|
|
-\newcommand{\CALL}[2]{\key{Call}\LP #1\code{, } #2 \RP}
|
|
|
|
|
|
+\newcommand{\CALL}[2]{\LP\key{Call}~#1~#2\RP}
|
|
\newcommand{\APPLY}[2]{\LP\key{Apply}~#1~#2\RP}
|
|
\newcommand{\APPLY}[2]{\LP\key{Apply}~#1~#2\RP}
|
|
\newcommand{\CAPPLY}[2]{\LP#1~#2\RP}
|
|
\newcommand{\CAPPLY}[2]{\LP#1~#2\RP}
|
|
\newcommand{\FUNREF}[2]{\LP\key{FunRef}~#1~#2\RP}
|
|
\newcommand{\FUNREF}[2]{\LP\key{FunRef}~#1~#2\RP}
|