notation and cleanup

jvanbruegge · Oct 15, 2024 · b629f73 · b629f73
1 parent a27c5fb
commit b629f73
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -53,5 +53,6 @@ consists of the ML files implementing the support for datatypes with bindings).
 TODO:
 -- conventions: eg. Lterm the polymorphic type, lterm its monomorphic versions 
 (the paper uses Lterm); ILterm vs. ilterm etc. 
---
+-- mention the NoLeastSupportCounterexample theory. 
+-- add the browsable html files