From: jim Date: Sun, 8 Feb 2015 18:06:15 +0000 (-0500) Subject: add explanatory note X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=eed5a6fd5737e66a650e011355daf79d0a99ae1f add explanatory note --- 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`