Fix reference.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 2 Dec 2009 11:26:10 +0000 (12:26 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 2 Dec 2009 11:26:10 +0000 (12:26 +0100)
Chapters/Normalization.tex

index 714ce88..78b7a1d 100644 (file)
 
         \transexample{apppropcase}{Application propagation for a case expression}{from}{to}
 
-      \subsubsection{Let recursification}
+      \subsubsection[sec:normalization:letrecurse]{Let recursification}
         This transformation makes all non-recursive lets recursive. In the
         end, we want a single recursive let in our normalized program, so all
         non-recursive lets can be converted. This also makes other