【文件属性】：
文件名称：cedille:Cedille，一种基于依赖Lambda消除演算的依赖类型编程语言
文件大小：1.07MB
文件格式：ZIP
更新时间：2021-05-13 07:01:01
Cedille编程语言
请参阅以获取有关的介绍。
储存库内容重点
cedille-mode/ ：用于Cedille Emacs模式的Elisp代码
cedille-tests/ ：Cedille Emacs前端的单元测试
core/ ：Cedille Core Checker的Haskell实现
language-overview/ ：示例Cedille程序，展示了其一些重要功能
lib/ ：（临时）Cedille标准库
parser/ ：用于Cedille语言的解析器（用Haskell编写）
se-mode/ ：Emacs“结构化编辑模式”的Elisp源代码
src/ ：Cedille源代码（用Agda编写）
执照
麻省理工学院