cedille / cedille

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

Home Page:https://cedille.github.io/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

cedille/cedille Stargazers