update the TODO list

nicolasmarti · Aug 16, 2012 · bbd4e9d · bbd4e9d
1 parent 2c89a3b
commit bbd4e9d
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/TODO b/TODO
@@ -1,5 +1,10 @@
+- adding well-formness
+  + Universe stratification
+  + Positivity
+  + Terminaison
+  + Completeness
+  + Proof Irrelevance
+
 - change terms rep, with an general and extendable infofields
   containing: positions, redeuced flags, ...
 - higher order unification
-- add using conversion when not solvable. for now we have ad-hoc stuffs
-- add conversion in reduction