/cedille-core-spec

Specification of the Cedille Core language

Primary LanguageTeX

No issues in this repository yet.