|
|
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 |
|
|
|
dcf12d45eb
|
Implement formula parsing
|
2019-11-01 06:20:02 +01:00 |
|
|
|
1b9654f44f
|
Implement term parsing
|
2019-11-01 05:40:48 +01:00 |
|
