dependent-intersections topic
List
dependent-intersections repositories
cedille
360
Stars
27
Forks
Watchers
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
