cedille / cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

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)

License

MIT