Cedille Programming Language's repositories
cedille-developments
A showcase of interesting code and proof developments in Cedille
cedille-cast
Source files used for the Cedille Cast videos
icfp18-tutorial
Materials related to the tutorial on Cedille at ICFP '18
cedille.github.io
Cedille Homepage
cedille-core-spec
Specification of the Cedille Core language