From 3a27814d39dff0dffd7d15b40f987e5d12c3be39 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Tue, 11 Dec 2012 15:02:24 +0100
Subject: [PATCH] Wishlists and more go to Trello.

---
 TODO | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 TODO

diff --git a/TODO b/TODO
deleted file mode 100644
index 4d9a67dbd..000000000
--- 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
-- 
GitLab