Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core - View it on GitHub