summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 02:05:46 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 02:05:46 +0000
commit79d1fe1cf2eb6748e2c12ffe9c36a678655302b1 (patch)
tree11f1991090beb57ce4df3cf8aa641c61e9513ce5
parent67e8b85a9f9b42acc896b44eb2ea1310e749f03a (diff)
Add todo
-rw-r--r--TODO6
1 files changed, 6 insertions, 0 deletions
diff --git a/TODO b/TODO
new file mode 100644
index 0000000..4e42205
--- /dev/null
+++ b/TODO
@@ -0,0 +1,6 @@
+1) Add a repl
+2) Figure out how to print the final bindings after running a query
+3) Stop comparing strings all the time
+4) Stop copying the entire goal stack into every choicepoint
+5) Stop creating choicepoints when it is not needed
+6) How to implement builtins nicely?