Add a few more TODO notes.
Chris Pressey
6 years ago
| 67 | 67 | * Maybe allow `∨` - there doesn't seem to be as much call for it, though. |
| 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 | * Allow actions to define sentence trees. | |
| 70 | * Allow sentence trees to be given for actions. | |
| 71 | 71 | * Give the implementation some mode where it deterministically processes rules. |
| 72 | 72 | * Given the above, write a Falderal test document for Samovar. |
| 73 | 73 | * Allow situations to define a termination condition, so that the implementation |
| 74 | 74 | can generate a scenario where the condition is met (by whatever method). |
| 75 | * Consider what it would take to add a predicate that evaluates to whether | |
| 76 | a given action has been taken previously or not. |