week1: functional ocaml turing complete after all

[lambda.git] / week1.mdwn

diff --git a/week1.mdwn b/week1.mdwn
index 967f814..f87ee98 100644 (file)
--- a/week1.mdwn
+++ b/week1.mdwn
@@ -356,8 +356,6 @@ combinatorial logic</td>
 </table>
 
 
-[Correction: OCaml is Turing complete, but I'm not sure if the merely functional part is; I suspect it's not.]
-
 
 Rosetta Stone
 =============