diff options
| author | Camil Staps | 2015-07-03 16:54:12 +0200 |
|---|---|---|
| committer | Camil Staps | 2015-07-03 16:59:58 +0200 |
| commit | 8141816bccdc173b8318ba9eb80043bec2d644b3 (patch) | |
| tree | 1608b2fbddec92af4adb2398633799a0ccb70cd8 /README.md | |
| parent | Cleanup; simple truthtable; license; readme (diff) | |
Parser; cleanup
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -97,7 +97,7 @@ The `truthtable` of `e15`: ## Future ideas - * Different `toString` formats for operators: HTML (`¬`), UTF-8 (¬) + * 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 |