]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/whelp/TODO
Added whelp to the repository.
[helm.git] / helm / papers / whelp / TODO
diff --git a/helm/papers/whelp/TODO b/helm/papers/whelp/TODO
new file mode 100644 (file)
index 0000000..bc60361
--- /dev/null
@@ -0,0 +1,6 @@
+- referenziare (o togliere dalla biblio) paperi {cairns} e {diffeq}
+- conclusioni: case sensitiveness
+- hint: rating (+ esempio ?)
+  - se aggiungiamo rating dobbiamo correggere l'affermazione nelle conclusioni a
+    riguardo delle parti di Whelp che dipendono da CIC
+- spell checking finale