zmthy / cedille Goto Github PK
View Code? Open in Web Editor NEWThis project forked from cedille/cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Home Page: https://cedille.github.io/
License: MIT License