Closed EduardoRFS closed 8 months ago
Prepare room for dependent intersections.
I'm currently not sure how dependent intersections and subtyping in general interacts with unification, so I will be removing it and adding it back.
It seems like bidirectional typing + unification can also be done considerably better.
Goals
Prepare room for dependent intersections.
Context
I'm currently not sure how dependent intersections and subtyping in general interacts with unification, so I will be removing it and adding it back.
It seems like bidirectional typing + unification can also be done considerably better.
Related
199