|
@@ -613,7 +613,10 @@ to variable \texttt{v}.
|
|
|
[`(program ,(app interp-R0 v)) v]
|
|
|
))
|
|
|
\end{lstlisting}
|
|
|
-\caption{Interpreter for the $R_0$ language.}
|
|
|
+\caption{Interpreter for the $R_0$ language.
|
|
|
+ \rn{Having two functions here for prog/exp wouldn't take much more space.
|
|
|
+ I'll change that once I get further.. but I also need to know what the story
|
|
|
+ is for running this code?}}
|
|
|
\label{fig:interp-R0}
|
|
|
\end{figure}
|
|
|
|