Remove \stoptext from the Normalization chapter.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 26 Aug 2009 07:55:50 +0000 (09:55 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 26 Aug 2009 07:55:50 +0000 (09:55 +0200)
Chapters/Normalization.tex

index d36556b..a8194de 100644 (file)
@@ -779,4 +779,3 @@ After let bind removal:
 \stoplambda
 
 Application simplification is not applicable.
-\stoptext