From: Luca Padovani <luca.padovani@unito.it>
Date: Mon, 6 Jun 2005 08:06:26 +0000 (+0000)
Subject: * more to do
X-Git-Tag: PRE_INDEX_1~67
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5536f021b0712217703d48c1c30c464d28a8ae0e;p=helm.git

* more to do
---

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