added Curry-Howard

[lambda.git] / assignment5.mdwn

diff --git a/assignment5.mdwn b/assignment5.mdwn
index 87d5566..ccf402a 100644 (file)
--- a/assignment5.mdwn
+++ b/assignment5.mdwn
@@ -75,7 +75,7 @@ This almost works.  For instance,
 evaluates to 1, and 
 
     let b = true in let y = 1 in let n = 2 in 
-    match b with true -> 1 | false -> 2;;
+    match b with true -> y | false -> n;;
 
 also evaluates to 1.  Likewise,