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

Name		Name	Last commit message	Last commit date
Latest commit History 1,817 Commits
.cedille		.cedille
cedille-mode		cedille-mode
cedille-tests		cedille-tests
core		core
docs		docs
encodings/mendler		encodings/mendler
ial @ f3f0261		ial @ f3f0261
issues		issues
language-overview		language-overview
latex		latex
lib		lib
new-lib		new-lib
packages		packages
parser		parser
script		script
se-mode		se-mode
src		src
.gitignore		.gitignore
.gitmodules		.gitmodules
.travis.yml		.travis.yml
BUILD.md		BUILD.md
CHANGELOG.md		CHANGELOG.md
CONTRIBUTING.md		CONTRIBUTING.md
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
Setup.hs		Setup.hs
cedille-mode.el		cedille-mode.el
cedille.cabal		cedille.cabal
create-libraries.sh		create-libraries.sh
performance-notes.org		performance-notes.org
release-procedure.md		release-procedure.md
speed-test.sh		speed-test.sh
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock