TiarkRompf / minidot

Dependent Object Types (DOT), bottom up
85Updated 3 years ago

Alternatives and similar repositories for minidot:

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