Readme

1 files changed, 14 insertions, 10 deletions

diff --git a/README.md b/README.md
index f12c9e5..f463e28 100644
--- a/README.md
+++ b/README.md
@@ -14,6 +14,14 @@ Logic toolbox in [Clean](http://wiki.clean.cs.ru.nl/Clean). Features include:
 
 Read further for examples.
 
+### Demo
+
+A demo of the web frontend may be found on https://demo.camilstaps.nl/CleanLogic.
+
+### License
+
+This program and the example are distributed under the MIT license. For more details, see the LICENSE file.
+
 ## Installation
 
 Set `CLEAN_HOME` to your Clean installation directory. To install the parser and the example program:
@@ -31,11 +39,11 @@ There are four binary operators (`Op2`). In order of descending precedence: `And
 
 The operators are represented as:
 
- * Not: `~`
- * And: `&`
- * Or: `|`
- * Impl: `->`
- * Equiv: `<->`
+ * Negation (&not;): `~`
+ * Conjunction (&and;): `&`
+ * Disjunction (&or;): `|`
+ * Implication (&rarr;): `->`
+ * Equivalence (&harr;): `<->`
 
 ### Expressions
 
@@ -157,12 +165,8 @@ There is a simple web frontend in PHP and a basic HTML template which allows one
 
 ## Future ideas
 
- * Different `toString` formats for operators: HTML (`&not;`), UTF-8 (&not;), LaTeX (`\neg`)
  * Different `toString` formats for booleans: `0` and `1` or `T` and `F` instead of `True` and `False`
  * Simplifying expressions with atomic expressions as far as possible
  * Testing equivalence or impliance of expressions with atomic expressions
  * Add support for multi-letter atomic expressions
-
-## License
-
-This program and the example are distributed under the MIT license. For more details, see the LICENSE file.
+ * Would it be easier / neater / more intuitive to get rid of `Op1` and `Op2` and use `Not`, `And`, etc. as type constructors of `Expr`?