diff --git a/TODO.md b/TODO.md
deleted file mode 100644
index cf6e460..0000000
--- a/TODO.md
+++ /dev/null
@@ -1,24 +0,0 @@
-- Demo doing graph colouring program 
-    - Explain graph colouring
-- Goal is to learn how to learn
-    - Manual too
-    - Small examples
-    - Hypothesize and test
-    - No one "right" way to model a problem
-        - Less complicated is generally better
-- First: direct example (color_prim.lp)
-    - Show basic grounding
-        - Uncomment vertex: we're missing some
-        - Uncomment arc to make the graph symmetric (undirected)
-
-    - Show basic solving and disjunctive rule
-        - Ground it first.
-        - We have dupes
-- Ferry problem
-    - Explain time
-
-
-
-
-
-CLPFD