Small change in IL grammar

Lamagraph · Apr 15, 2024 · e0a4b21 · e0a4b21
1 parent 95def94
commit e0a4b21
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lang/README.md b/lang/README.md
@@ -5,7 +5,7 @@
 $$
 \begin{alignat*}{3}
  &prog &&::= e_0\ \mathbf{where}\  h_1 = e_1\ \dots \ h_n = e_n&\\
- &e \in Exp& &::=  \ x&\\
+ &e &&::=  \ x&\\
         &&\mid & \ c\ e_1 \dots e_n&\\
         &&\mid & \ \lambda x.e&\\
         &&\mid & \ f&\\