dannywillems / dsubml

OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
10Updated 7 years ago

Alternatives and similar repositories for dsubml:

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