The Cedille Programming Language

Please see the Cedille homepage for an introduction to Cedille.

Repository Content Highlights

cedille-mode/: Elisp code for the Cedille Emacs mode
cedille-tests/: Unit tests for the Cedille Emacs frontend
core/: A Haskell implementation of a Cedille Core checker
language-overview/: Example Cedille programs that demonstrate some of its important features
lib/: The (provisional) Cedille Standard Library
parser/: The parser for the Cedille language (written in Haskell)
se-mode/: The Elisp source code for the Emacs "Structured Editing Mode"
src/: The Cedille source code (written in Agda)

MIT