Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/cedille/cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
https://github.com/cedille/cedille
dependent-intersections dependent-types lambda-calculus programming-language
Last synced: 3 months ago
JSON representation
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
- Host: GitHub
- URL: https://github.com/cedille/cedille
- Owner: cedille
- License: mit
- Created: 2018-06-22T23:05:47.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2023-10-23T15:21:17.000Z (9 months ago)
- Last Synced: 2024-01-23T18:14:39.143Z (6 months ago)
- Topics: dependent-intersections, dependent-types, lambda-calculus, programming-language
- Language: Agda
- Homepage: https://cedille.github.io/
- Size: 19.3 MB
- Stars: 346
- Watchers: 24
- Forks: 27
- Open Issues: 48
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
Lists
- awesome - cedille - Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations (Agda)
README
# 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