X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment1.mdwn;h=b65cc177f76ebe872a1897d574068ce013b72def;hp=12cd7059b502f2034da572c9b71c14132c00ca43;hb=7958db26a9129e5264f05f835090ae894b4f828b;hpb=58b1fb955b3b242e0c8ac9a0c5c092cbee5d5fbf diff --git a/assignment1.mdwn b/assignment1.mdwn index 12cd7059..b65cc177 100644 --- 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