From 20328572602ab012c16b8cbf059ea8ced2bce23a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 24 Oct 2012 17:43:03 -0700
Subject: [PATCH] a TODO list

---
 TODO | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 TODO

diff --git a/TODO b/TODO
new file mode 100644
index 000000000..4d9a67dbd
--- /dev/null
+++ b/TODO
@@ -0,0 +1,7 @@
+- 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