X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2Fassignment2.mdwn;fp=exercises%2Fassignment2.mdwn;h=f8467f7a8d21f765a867397ba689569909f6ea9a;hp=098c53650b5df90382574dbdaeb3b8babb5f4b2e;hb=eed5a6fd5737e66a650e011355daf79d0a99ae1f;hpb=a138eebb1d014097f9e1594c5082ab62b463eb13 diff --git a/exercises/assignment2.mdwn b/exercises/assignment2.mdwn index 098c5365..f8467f7a 100644 --- a/exercises/assignment2.mdwn +++ b/exercises/assignment2.mdwn @@ -34,6 +34,8 @@ Find "normal forms" for the following---that is, reduce them until no more reduc Booleans -------- +For these questions, and the ones on triples below, we're setting them up so as to encourage you to experiment with Racket and to formulate your answer in Scheme/Racket syntax. But you can answer in Lambda Calculus syntax if you prefer. + Recall our definitions of true and false. > **true** is defined to be `\t f. t`