* update

diff --git a/helm/ocaml/cic_notation/TODO b/helm/ocaml/cic_notation/TODO
index c78e93c135e70b472b3e1bd43c15887f64700632..f6062ad27eee9b5ecd7b26e37ed28cfa632171a6 100644 (file)
--- a/helm/ocaml/cic_notation/TODO
+++ b/helm/ocaml/cic_notation/TODO
@@ -11,4 +11,5 @@
 * 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
+* sintassi concreta / prelexing
+  - studiare/implementare sintassi con ... per i magic fold