X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FTODO;fp=helm%2Focaml%2Fcic_notation%2FTODO;h=c78e93c135e70b472b3e1bd43c15887f64700632;hb=5536f021b0712217703d48c1c30c464d28a8ae0e;hp=8e55f675b623f21e4fac4b781a895a15bc70948d;hpb=8caaccfeb66f6a507e5fb3b4b221a360eb5428c8;p=helm.git

diff --git a/helm/ocaml/cic_notation/TODO b/helm/ocaml/cic_notation/TODO
index 8e55f675b..c78e93c13 100644
--- a/helm/ocaml/cic_notation/TODO
+++ b/helm/ocaml/cic_notation/TODO
@@ -1,5 +1,4 @@
-
-* implementare trasformazione 0 => 1
+* implementare trasformazione 1 => 0
 * gestione priorita'/associativita'
   - annotazioni nel livello 1 generato?
   - triplicare livelli nella grammatica?
@@ -11,3 +10,5 @@
 * gestione speciale dei numeri
 * implementare compilazione dei default in 2 => 1 e
   relativa istanziazione
+* gestione greedyness dei magic in 2 => 1
+* studiare/implementare sintassi con ... per i magic fold