From 85adea62d7e8eee9d0e3525d572325db4e58d21a Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Wed, 30 Jun 2021 23:30:13 +0000
Subject: Allow the repl to backtrack to give alternative results

---
 TODO | 1 -
 1 file changed, 1 deletion(-)

(limited to 'TODO')

diff --git a/TODO b/TODO
index 5bb5070..a2783a8 100644
--- a/TODO
+++ b/TODO
@@ -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
-- 
cgit v1.2.3