Skip to content

No labels!

There aren’t any labels for this repository quite yet.

Typing: other
Typing: other
Typing: polymorphism
Typing: polymorphism
Typing: property variance
Typing: property variance
Typing: refinements
Typing: refinements
Typing: rest
Typing: rest
Typing: soundness
Typing: soundness
No false negatives (type checker claims that there is no error in the incorrect program)
Typing: spread
Typing: spread
Typing: tuple
Typing: tuple
Typing: unions/intersections
Typing: unions/intersections
unsealed objects
unsealed objects
Windows support
Windows support