Popular repositories Loading

1. cedille cedille Public

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

   Agda 369 27

2. ial ial Public

   The Iowa Agda Library

   Agda 46 19

3. cedille-developments cedille-developments Public

   A showcase of interesting code and proof developments in Cedille

   Haskell 36 3

4. cedille-cast cedille-cast Public

   Source files used for the Cedille Cast videos

   12 2

5. cedille2 cedille2 Public

   Rust 9 1

6. icfp18-tutorial icfp18-tutorial Public

   Materials related to the tutorial on Cedille at ICFP '18

   TeX 5