a

cmsc330fall24 · Oct 25, 2024 · 59b8222 · 59b8222
1 parent f063175
commit 59b8222
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/discussions/d9_lambda_calc/README.md b/discussions/d9_lambda_calc/README.md
@@ -27,11 +27,11 @@ a lambda function.
 ### Explicit Rules to remove ambiguity
 - Expressions $e$ are left associative
 ```
-a b c means (a b) c
+a b c means ((a b) c)
 ```
 - The scope of a function goes until the **end of the entire expression** or until a (unmatched) parenthesis is reached
 ```
-λx .λy. a b means λx. (λy. (a b))
+λx. λy. a b means (λx. (λy. (a b)))
 ```
 
 ### Alpha Conversion