diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-30 23:30:13 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-30 23:30:13 +0000 |
| commit | 85adea62d7e8eee9d0e3525d572325db4e58d21a (patch) | |
| tree | e976789abf464f9868f9a12778285329db785d7a /TODO | |
| parent | fa83d3f1aba932e99833244ebb38b7415b142bd7 (diff) | |
Allow the repl to backtrack to give alternative results
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -1,4 +1,3 @@ -* Add a repl * Stop comparing strings all the time * Stop copying the entire goal stack into every choicepoint * Stop creating choicepoints when it is not needed |