From a8b1fadd149126e9c8d3081a56d206812211f1e6 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Wed, 30 Jun 2021 19:33:55 +0000 Subject: Add builtins for typetests --- TODO | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) (limited to 'TODO') diff --git a/TODO b/TODO index a9b0bd8..5bb5070 100644 --- a/TODO +++ b/TODO @@ -1,7 +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? -7) Right now we copy and allocate a lot, but almost never free stuff. \ No newline at end of file +* 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 +* How to implement builtins nicely? +* Right now we copy and allocate a lot, but almost never free stuff. \ No newline at end of file -- cgit v1.2.3