1 files changed, 6 insertions, 0 deletions
diff --git a/TODO b/TODO
new file mode 100644
index 0000000..7b30877
--- /dev/null
+++ b/TODO
@@ -0,0 +1,6 @@
+1. Définir un type pour décrire les valeurs abstraites
+	ie. définir le domaine abstrait
+  - Constantes + bot + top : bool et int
+  - Intervalles + bot + top : int
+
+2. Interprète abstrait