Explicitely use "letrec" for recursive lets.
[matthijs/master-project/report.git] / Chapters / Prototype.tex
index 644ce01..85e7fb2 100644 (file)
@@ -306,7 +306,7 @@ let bndr = value in body
     \stopdesc
     \startdesc{Recursive let expression}
 \startlambda
-let 
+letrec
   bndr1 = value1
   \vdots
   bndrn = valuen