From b867184b089576df61a626f5031e0594e4670316 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Wed, 29 Oct 2014 14:27:28 +0100
Subject: [PATCH] Added TODO

---
 TODO.md | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 TODO.md

diff --git a/TODO.md b/TODO.md
new file mode 100644
index 00000000..b98e03f4
--- /dev/null
+++ b/TODO.md
@@ -0,0 +1,8 @@
+# Main goals
+
+- Fonctorise solver.ml with term module and theory module
+- Add proof output
+
+# Subgoals
+
+- Move terms and theories to another directory (once fonctorised) ?