/cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Primary LanguageAgdaMIT LicenseMIT

No issues in this repository yet.