aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorCamil Staps2017-03-06 22:09:49 +0100
committerCamil Staps2017-03-06 22:11:55 +0100
commit0cd7371ce8f7956a856f11632ea2fbd7a88fda75 (patch)
treee5dc63b97c81e9d58a1aeedcfb1516d372d8d62e /README.md
parentReadme (diff)
Make of in lambdacase optional
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