jin / subtyping

An implementation of structural subtyping of records and functions
13Updated 6 years ago

Related projects

Alternatives and complementary repositories for subtyping