Cedille Programming Language

Popular repositories Loading

1. cedille cedillePublic

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

   Agda 394 28

2. ial ialPublic

   The Iowa Agda Library

   Agda 55 21

3. cedille-developments cedille-developmentsPublic

   A showcase of interesting code and proof developments in Cedille

   Haskell 36 4

4. cedille2 cedille2Public

   Rust 16 1

5. cedille-cast cedille-castPublic

   Source files used for the Cedille Cast videos

   12 2

6. icfp18-tutorial icfp18-tutorialPublic

   Materials related to the tutorial on Cedille at ICFP '18

   TeX 5