AlphaUncommon
cedille/cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
- Owner
- cedille (organization)
- Stars
- Stars: 398
- Forks
- Forks: 28
- Language
- Agda
- License
- MIT
- Created
- 2018
- Topics
- dependent-typesprogramming-languagelambda-calculusdependent-intersections
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Agda
All Agda repos- the1lab/1labStars: 446AgdaAlpha
- HoTT/HoTT-AgdaStars: 442AgdaAlpha
- agda/agda-categoriesStars: 412AgdaAlpha
- EgbertRijke/HoTT-IntroStars: 373AgdaAlpha
- UniMath/agda-unimathStars: 318AgdaAlpha
- liamoc/learn-you-an-agdaStars: 315AgdaAlpha