diff --git a/collects/lang/htdp-advanced.ss b/collects/lang/htdp-advanced.ss index 1e2bad565f..b36a3e4d1c 100644 --- a/collects/lang/htdp-advanced.ss +++ b/collects/lang/htdp-advanced.ss @@ -16,6 +16,7 @@ [advanced-define define] [advanced-define-struct define-struct] [advanced-lambda lambda] + [advanced-lambda λ] [advanced-app #%app] [beginner-top #%top] [intermediate-local local] diff --git a/collects/lang/htdp-intermediate-lambda.ss b/collects/lang/htdp-intermediate-lambda.ss index b5be5e7a43..338a803f47 100644 --- a/collects/lang/htdp-intermediate-lambda.ss +++ b/collects/lang/htdp-intermediate-lambda.ss @@ -12,6 +12,7 @@ [intermediate-lambda-define define] [intermediate-define-struct define-struct] [intermediate-lambda lambda] + [intermediate-lambda λ] [advanced-app #%app] [beginner-top #%top] [intermediate-local local]