Update README.md

andrew-johnson-4 · Oct 10, 2023 · b0eb03b · b0eb03b
1 parent 1840199
commit b0eb03b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -32,7 +32,7 @@ The "string" syntax from the above program needs to be rewritten into a lambda-c
 Grammatical Rewriting is accomplished in the policy definition as follows.
 
 ```λ☶
-::pre := λ(literal t) ts. t ts
+::pre := λ(literal t) (::pre ts). t ts
 ::pre := λt (::pre ts). t ts
 literal := λ" cs ". cs
 ```