# The Cedille Programming Language
[![Build Status](https://travis-ci.org/cedille/cedille.svg?branch=master)](https://travis-ci.org/cedille/cedille)

Please see the
[Cedille homepage](https://cedille.github.io/)
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
