From acd9cff938628fc0f6b424131f942e77f8caf04a Mon Sep 17 00:00:00 2001 From: Daniel Huang Date: Mon, 16 Oct 2023 14:32:16 -0400 Subject: [PATCH] Update hustle.scrbl --- www/notes/hustle.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/www/notes/hustle.scrbl b/www/notes/hustle.scrbl index 9f82d30f..52bb90ad 100644 --- a/www/notes/hustle.scrbl +++ b/www/notes/hustle.scrbl @@ -45,7 +45,7 @@ Boxes are like unary pairs, they simply hold a value, which can be projected out. Pairs hold two values which each can be projected out. To see how values are now inductively defined notice that if you have -a value @racket[_v], you can make anoter value with @racket[(box _v)]. +a value @racket[_v], you can make another value with @racket[(box _v)]. Similarly, if @racket[_v1] and @racket[_v2] are values, then so is @racket[(cons _v1 _v2)]. This suggests the following recursive type definition for values: