From: Jim Pryor Date: Tue, 14 Sep 2010 15:53:40 +0000 (-0400) Subject: more4 assignment1 tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=4abee3b6356890888890b4907fb4c7a24bc4656e;hp=4288468c7b4a4d0bb6ec7eab2c1d71803716c726 more4 assignment1 tweaks Signed-off-by: Jim Pryor --- diff --git a/assignment1.mdwn b/assignment1.mdwn index 05787ca2..453fa546 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: @@ -75,7 +75,7 @@ Pairs Recall our definitions of ordered pairs. -> the pair (x,y) is defined as `\f. f x y` +> the pair **(**x**,**y**)** is defined as `\f. f x y` To extract the first element of a pair p, you write: