michallepicki / suber

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

Alternatives and similar repositories for suber:

Users that are interested in suber are comparing it to the libraries listed below