From 515640496bdb40f516005e0418ec648f75eb0418 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Mon, 12 Oct 2009 13:24:04 +0200 Subject: [PATCH] Fix typo. --- Chapters/Normalization.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex index 7c6b469..3026569 100644 --- a/Chapters/Normalization.tex +++ b/Chapters/Normalization.tex @@ -886,7 +886,7 @@ in scope for the function return value). Note that this transformation does not try to be smart when faced with recursive lets, it will just leave the lets recursive (possibly joining a recursive and non-recursive let into a single recursive let). The let -rederursification transformation will do this instead. +rederecursification transformation will do this instead. \starttrans letnonrec x = (let bindings in M) in N -- 2.30.2