From 87ec5f062c0d67cb234de931d5b68f888a1fb490 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 6 Mar 2017 23:06:18 +0100
Subject: Revert previous commit; did not work

---
 README.md | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 7407bb2..e95ea5e 100644
--- a/README.md
+++ b/README.md
@@ -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
-- 
cgit v1.2.3