|
@@ -17919,7 +17919,7 @@ $\Rightarrow\qquad$
|
|
\begin{minipage}{0.5\textwidth}
|
|
\begin{minipage}{0.5\textwidth}
|
|
{\if\edition\racketEd
|
|
{\if\edition\racketEd
|
|
\begin{lstlisting}
|
|
\begin{lstlisting}
|
|
-(Closure |$n$| (FunRef |$f$| |$n$|) '())
|
|
|
|
|
|
+(Closure |$n$| (list (FunRef |$f$| |$n$|)))
|
|
\end{lstlisting}
|
|
\end{lstlisting}
|
|
\fi}
|
|
\fi}
|
|
{\if\edition\pythonEd\pythonColor
|
|
{\if\edition\pythonEd\pythonColor
|