* more to do

[helm.git] / helm / ocaml / cic_notation / TODO

diff --git a/helm/ocaml/cic_notation/TODO b/helm/ocaml/cic_notation/TODO
index 8e55f675b623f21e4fac4b781a895a15bc70948d..c78e93c135e70b472b3e1bd43c15887f64700632 100644 (file)
--- 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