cedilleum-spec Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core Specification Document Code Examples