]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/whelp/TODO
bc603614a6bd8b20cb30398c915f5045de690640
[helm.git] / helm / papers / whelp / TODO
1 - referenziare (o togliere dalla biblio) paperi {cairns} e {diffeq}
2 - conclusioni: case sensitiveness
3 - hint: rating (+ esempio ?)
4   - se aggiungiamo rating dobbiamo correggere l'affermazione nelle conclusioni a
5     riguardo delle parti di Whelp che dipendono da CIC
6 - spell checking finale