diff options
| author | Camil Staps | 2017-03-06 23:06:18 +0100 |
|---|---|---|
| committer | Camil Staps | 2017-03-06 23:06:18 +0100 |
| commit | 87ec5f062c0d67cb234de931d5b68f888a1fb490 (patch) | |
| tree | 9fe8566ddd1be312ffa22a0d412f9c57636bf2a0 /README.md | |
| parent | Make of in lambdacase optional (diff) | |
Revert previous commit; did not work
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -41,13 +41,11 @@ 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}+ + | \case of {CaseAltDef}+ ``` [clean]: http://clean.cs.ru.nl |