|
|
@@ -25,7 +25,7 @@
|
|
|
|
|
|
\def\racketEd{0}
|
|
|
\def\pythonEd{1}
|
|
|
-\def\edition{1}
|
|
|
+\def\edition{0}
|
|
|
|
|
|
% material that is specific to the Racket edition of the book
|
|
|
\newcommand{\racket}[1]{{\if\edition\racketEd{#1}\fi}}
|
|
|
@@ -14946,6 +14946,7 @@ class TypeCheckLlambda(TypeCheckLfun):
|
|
|
\caption{Type checking the \key{lambda}'s in \LangLam{}, part 2.}
|
|
|
\label{fig:type-check-Llambda-part2}
|
|
|
\end{figure}
|
|
|
+\fi}
|
|
|
|
|
|
\clearpage
|
|
|
|
Jeremy Siek