...

[helm.git] / helm / software / matita / dist / TODO

diff --git a/helm/software/matita/dist/TODO b/helm/software/matita/dist/TODO
index 59f3c878b17a1205064b36b47c5206b4c124b336..5305382b02e1c34a71ab631b0184fe187e25d7ca 100644 (file)
--- a/helm/software/matita/dist/TODO
+++ b/helm/software/matita/dist/TODO
@@ -22,7 +22,8 @@ TODO:
   - compare with the paper
 
 BUGS:
-
+1) la disambiguazione sembra generare termini (? ? ?) quando buca!
+   inoltre buca anche quando c'e' una scelta sola
 ?2) cosa "corrisponde" alla simplify?   multivm/breakpoint
     => la mu (+ iota) normalize
 *5) variabili libere => errore di tipaggio