Knock off two TODO items.
Chris Pressey
6 years ago
| 68 | 68 | * Should probably also allow ASCII tokens for those who don't want to type Greek |
| 69 | 69 | letters and weird logical connectives. |
| 70 | 70 | * Allow sentence trees to be given for actions. |
| 71 | * Give the implementation some mode where it deterministically processes rules. | |
| 72 | * Given the above, write a Falderal test document for Samovar. | |
| 73 | 71 | * Allow situations to define a termination condition, so that the implementation |
| 74 | 72 | can generate a scenario where the condition is met (by whatever method). |
| 75 | 73 | * Consider what it would take to add a predicate that evaluates to whether |