From a30fa47b4272f8c79948b741f7c388dad53c8eea Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Wed, 28 May 2014 16:45:46 +0200
Subject: RETAB, CLEANUP

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

(limited to 'TODO')

diff --git a/TODO b/TODO
deleted file mode 100644
index 7b30877..0000000
--- a/TODO
+++ /dev/null
@@ -1,6 +0,0 @@
-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
-- 
cgit v1.2.3