aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md9
1 files changed, 9 insertions, 0 deletions
diff --git a/README.md b/README.md
index 740e1a9..7407bb2 100644
--- a/README.md
+++ b/README.md
@@ -41,6 +41,15 @@ is transformed to
where `x` is a fresh variable.
+The `of` is optional (though recommended to distinguish Clean from Haskell).
+
+The extension to the grammar:
+
+```
+LambdaAbstr = ...
+ | \case [of] {CaseAltDef}+
+```
+
[clean]: http://clean.cs.ru.nl
[cocl]: https://svn.cs.ru.nl/repos/clean-compiler/
[ghclambdacase]: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#lambda-case