/cedille

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

Primary LanguageAgdaMIT LicenseMIT

The Cedille Programming Language

Build Status

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