ref: 3eaa3c663649f36b36e1bc9f03b05f44ae301191
parent: 8d68f0d22ab39f1c2a18668d17595a06c4f75fd5
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Mon Oct 9 06:20:43 EDT 2023
More to do
--- a/TODO
+++ b/TODO
@@ -25,3 +25,6 @@
- allow missing top level signatures (and generalize)
- instead of skolemization, use regular variables, making sure they are unique
- allow existential quantification
+* Add occurrence check
+* Fix bug in type variable expansion for unification
+* Try Oleg's abstraction algorithm
--
⑨