HI all,

I wanted to try out the Cedille language (cedille.github.io) so I packaged it.  It has a nice emacs mode included and an interesting type theory.

Thanks!

- John