astump / cedilleum-specLinks

Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
26Updated 6 years ago

Alternatives and similar repositories for cedilleum-spec

Users that are interested in cedilleum-spec are comparing it to the libraries listed below

Sorting: