|
|
9076ecd95d
|
Allow negated quantified expressions without parentheses
|
2019-11-05 15:53:42 -06:00 |
|
|
|
acb6c05eec
|
Allow more variable prefixes
|
2019-11-05 15:53:32 -06:00 |
|
|
|
4e3e3689d0
|
Fix precedence rules for nested subtractions and implications
|
2019-11-05 13:14:47 -06:00 |
|
|
|
683236f4a8
|
Recognize variables better
|
2019-11-05 12:54:15 -06:00 |
|
|
|
8a7bd651b2
|
Support comments
|
2019-11-05 12:43:03 -06:00 |
|
|
|
5070965bfe
|
Make predicate declarations hashable
|
2019-11-02 04:12:16 +01:00 |
|
|
|
30ba3e22c1
|
Fix precedence between predicates and comparisons
|
2019-11-02 04:06:06 +01:00 |
|
|
|
de4ab29da5
|
Implement Display formatter in terms of Debug
|
2019-11-02 04:05:57 +01:00 |
|
|
|
a6fe4b9e08
|
Respect operator precedence when printing
|
2019-11-01 22:35:51 +01:00 |
|
|
|
b76287a07b
|
Restructure crate for a nicer interface
|
2019-11-01 22:00:17 +01:00 |
|
|
|
9f32bea10c
|
Rename project “foliage”
|
2019-11-01 21:00:00 +01:00 |
|
|
|
d1d20deadb
|
Add benchmark
|
2019-11-01 06:40:55 +01:00 |
|
|
|
48b18b9354
|
Add example
|
2019-11-01 06:20:19 +01:00 |
|
|
|
dcf12d45eb
|
Implement formula parsing
|
2019-11-01 06:20:02 +01:00 |
|
|
|
1b9654f44f
|
Implement term parsing
|
2019-11-01 05:40:48 +01:00 |
|
