ref: 5864f798e032b791e451cb9f7e0bcc6b5fed9be5
parent: cd803136435c3a7b9f68b7ce5768c5833674b68e
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Sun Oct 8 19:57:24 EDT 2023
More
--- a/TODO
+++ b/TODO
@@ -21,7 +21,7 @@
(and make more efficient 'map' etc)
* Type checker improvements:
- allow generalization for local bindings
- - use subsumption (like if) in the arms of alternatives.
+ - use subsumption (like if) in the arms of alternatives
- allow missing top level signatures (and generalize)
- instead of skolemization, use regular variables, making sure they are unique
-
\ No newline at end of file
+ - allow existential quantification
--
⑨