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
- A lightweight erlang runtime