From 5536f021b0712217703d48c1c30c464d28a8ae0e Mon Sep 17 00:00:00 2001
From: Luca Padovani <luca.padovani@unito.it>
Date: Mon, 6 Jun 2005 08:06:26 +0000
Subject: [PATCH] * more to do

---
 helm/ocaml/cic_notation/TODO | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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
-- 
2.39.2