aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/README.md b/README.md
index 49b6125..4d8d199 100644
--- a/README.md
+++ b/README.md
@@ -112,6 +112,7 @@ The `parse` function may be used to read an expression from a String. The follow
* 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
+ * Unknown characters will throw an error
A usage example is found in `LogicParser.icl`. This file, once compiled, reads the command line arguments and shows their truth tables: