(no commit message)

[lambda.git] / assignment1.mdwn

diff --git a/assignment1.mdwn b/assignment1.mdwn
index 12cd705..560d288 100644 (file)
--- a/assignment1.mdwn
+++ b/assignment1.mdwn
@@ -27,19 +27,21 @@ In Racket, these can be defined like this:
        (define false (lambda (t) (lambda (f) f)))
 
 * Define a "neg" operator that negates "true" and "false".
+
 Expected behavior: 
 
-    (((neg true) 10) 20) 
+    (((neg true) 10) 20)
 
 evaluates to 20, and 
 
-    (((neg false) 10) 20) 
+    (((neg false) 10) 20)
 
 evaluates to 10.
 
 * Define an "and" operator.
 
 * Define an "xor" operator. 
+
 (If you haven't seen this term before, here's a truth table:
 
     true xor true = false
@@ -82,8 +84,8 @@ To extract the first element of a pair p, you write:
 Here are some defintions in Racket:
 
         (define make-pair (lambda (fst) (lambda (snd) (lambda (f) ((f fst) snd)))))
-        (define get-first (lamda (fst) (lambda (snd) fst)))
-        (define get-second (lamda (fst) (lambda (snd) snd)))
+        (define get-first (lambda (fst) (lambda (snd) fst)))
+        (define get-second (lambda (fst) (lambda (snd) snd)))
 
 Now we can write: