Projects in Awesome Lists tagged with dependent-intersections
A curated list of projects in awesome lists tagged with dependent-intersections .
https://github.com/cedille/cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
dependent-intersections dependent-types lambda-calculus programming-language
Last synced: 18 Mar 2025
