diff options
| author | Camil Staps | 2015-07-03 23:48:40 +0200 |
|---|---|---|
| committer | Camil Staps | 2015-07-03 23:48:40 +0200 |
| commit | 5a37100aba7973c08b7067132b5dba63334a45f1 (patch) | |
| tree | cbfa0976fcdddd7180c06b3d3e6d4d7f0f75e965 | |
| parent | Fix LogicTest (diff) | |
Readme
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,7 +3,7 @@ Logic toolbox in [Clean](http://wiki.clean.cs.ru.nl/Clean). Features include: * Straightforward types for (atomic) expressions, operators and truth tables - * `toString` instances for all types that take care of associativity + * `show` (`toString`-like) instances for all types that take care of associativity * Substituting atomic expressions for constants * Evaluating expressions without atomic expressions * Generating truth tables for expressions, possibly with intermediate steps |