Popular repositories Loading

1. cedille cedille Public

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

   Agda 381 27

2. ial ial Public

   The Iowa Agda Library

   Agda 48 20

3. cedille-developments cedille-developments Public

   A showcase of interesting code and proof developments in Cedille

   Haskell 36 3

4. cedille2 cedille2 Public

   Rust 15 1

5. cedille-cast cedille-cast Public

   Source files used for the Cedille Cast videos

   12 2

6. icfp18-tutorial icfp18-tutorial Public

   Materials related to the tutorial on Cedille at ICFP '18

   TeX 5