cedille
所属分类:编程语言基础
开发工具:Agda
文件大小:0KB
下载次数:0
上传日期:2022-02-20 18:39:12
上 传 者:
sh-1993
说明: Cedille,一种基于依赖Lambda消去演算的依赖类型编程语言
(Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations)
文件列表:
.cedille/ (0, 2021-10-20)
.cedille/options (539, 2021-10-20)
.travis.yml (728, 2021-10-20)
BUILD.md (1917, 2021-10-20)
CHANGELOG.md (1139, 2021-10-20)
CONTRIBUTING.md (1338, 2021-10-20)
LICENSE (1062, 2021-10-20)
Makefile (9726, 2021-10-20)
Setup.hs (610, 2021-10-20)
cedille-mode.el (37347, 2021-10-20)
cedille-mode/ (0, 2021-10-20)
cedille-mode/cedille-core-mode.el (2319, 2021-10-20)
cedille-mode/cedille-mode-archive-template.html (1891, 2021-10-20)
cedille-mode/cedille-mode-archive.el (1611, 2021-10-20)
cedille-mode/cedille-mode-archive.js (2806, 2021-10-20)
cedille-mode/cedille-mode-beta-reduce.el (26918, 2021-10-20)
cedille-mode/cedille-mode-context.el (21556, 2021-10-20)
cedille-mode/cedille-mode-customize.el (320, 2021-10-20)
cedille-mode/cedille-mode-errors.el (9012, 2021-10-20)
cedille-mode/cedille-mode-faces.el (11236, 2021-10-20)
cedille-mode/cedille-mode-find.el (3373, 2021-10-20)
cedille-mode/cedille-mode-highlight.el (4577, 2021-10-20)
cedille-mode/cedille-mode-info.el (860, 2021-10-20)
cedille-mode/cedille-mode-inspect.el (2958, 2021-10-20)
cedille-mode/cedille-mode-library.el (578, 2021-10-20)
cedille-mode/cedille-mode-meta-vars.el (7748, 2021-10-20)
cedille-mode/cedille-mode-navigate.el (3389, 2021-10-20)
cedille-mode/cedille-mode-normalize.el (9753, 2021-10-20)
cedille-mode/cedille-mode-parent.el (7168, 2021-10-20)
cedille-mode/cedille-mode-scratch.el (2612, 2021-10-20)
cedille-mode/cedille-mode-summary.el (3777, 2021-10-20)
cedille-tests/ (0, 2021-10-20)
cedille-tests/cedille-mode-tests.el (2355, 2021-10-20)
cedille-tests/interactive.cedtest/ (0, 2021-10-20)
cedille-tests/interactive.cedtest/code.ced (126, 2021-10-20)
cedille-tests/interactive.cedtest/expected (120, 2021-10-20)
... ...
# 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
近期下载者:
相关文件:
收藏者: