文件名称：cedille:Cedille，一种基于依赖Lambda消除演算的依赖类型编程语言
文件大小：1.07MB
文件格式：ZIP
更新时间：2024-06-02 00:47:41
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编写） 执照 麻省理工学院