cedille/cedille

---

cedille/cedille.json

{
  "createdAt": "2018-06-22T23:05:47Z",
  "defaultBranch": "master",
  "description": "Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations",
  "fullName": "cedille/cedille",
  "homepage": "https://cedille.github.io/",
  "language": "Agda",
  "name": "cedille",
  "pushedAt": "2023-10-23T15:21:17Z",
  "stargazersCount": 382,
  "topics": [
    "dependent-intersections",
    "dependent-types",
    "lambda-calculus",
    "programming-language"
  ],
  "updatedAt": "2025-11-20T19:09:34Z",
  "url": "https://github.com/cedille/cedille"
}

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