diff --git a/TODO b/TODO
deleted file mode 100644
index 4d9a67dbd0a303456d00bd2c5ec0cf392c1d1005..0000000000000000000000000000000000000000
--- a/TODO
+++ /dev/null
@@ -1,7 +0,0 @@
-- Map and Set get element function to extract and encode using epsilon in a pass
-- Fix Modulo
-- Handle multiple files and modules => can have a standard library of
-  verified data structure (with their contracts) that can be used
-  to build more complex examples.
-- Integrate List branch
-- implement assert statement