1 files changed, 0 insertions, 1 deletions
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