From f4f25bae440047609eb983bf954f06c651a65a7a Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Sat, 4 Jul 2015 18:01:58 +0200 Subject: Readme --- README.md | 24 ++++++++++++++---------- 1 file changed, 14 insertions(+), 10 deletions(-) (limited to 'README.md') 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 (¬): `~` + * Conjunction (∧): `&` + * Disjunction (∨): `|` + * Implication (→): `->` + * Equivalence (↔): `<->` ### 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 (`¬`), UTF-8 (¬), 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`? -- cgit v1.2.3