michallepicki / suber

Algebraic Subtyping typechecking algorithms implemented in Erlang
11Updated 3 years ago

Related projects

Alternatives and complementary repositories for suber