html+php wrapper

1 files changed, 5 insertions, 1 deletions

diff --git a/README.md b/README.md
index 4d8d199..2e29d14 100644
--- a/README.md
+++ b/README.md
@@ -108,7 +108,7 @@ The `truthtable` of `e15`:
 
 The `parse` function may be used to read an expression from a String. The following rules are used:
 
- * Whitespace is ignored. 
+ * Spaces are ignored. 
  * All latin letters (`[a-zA-Z]`) are considered atomic expressions
  * Operators are expected in their representation described above
  * True and False are expected as `1` and `0`, respectively
@@ -140,6 +140,10 @@ The option `-e` tells the parser to show the extended truth table. With this opt
      True  | False | True                         | False 
      True  | True  | True                         | True 
 
+## Web frontend
+
+There is a simple web frontend in PHP and a basic HTML template which allows one to connect to the Clean application through his browser. The files for this are `index.html` and `request.php`, and a demo may be found on https://demo.camilstaps.nl/CleanLogic.
+
 ## Future ideas
 
  * Different `toString` formats for operators: HTML (`¬`), UTF-8 (¬), LaTeX (`\neg`)