X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment1.mdwn;h=a8981cf2677261ea08fdc4023d4229967f94dded;hp=9bb65b388d2cb6e187b7e085ddde29b9e26e82e5;hb=7a4c7045825cda0f1974ff3a8bb8d1c7e46d3d14;hpb=8f5ac0c5b7e25c726f3afb65b1fc413af8a4fa52 diff --git a/assignment1.mdwn b/assignment1.mdwn index 9bb65b38..a8981cf2 100644 --- a/assignment1.mdwn +++ b/assignment1.mdwn @@ -17,8 +17,8 @@ Booleans Recall our definitions of true and false. -> "true" defined to be `\t \f. t` -> "false" defined to be `\t \f. f` +> `true` defined to be `\t \f. t` +> `false` defined to be `\t \f. f` In Racket, these can be defined like this: @@ -26,7 +26,7 @@ In Racket, these can be defined like this: (define false (lambda (t) (lambda (f) f)))