lambdapi:依存类型的教育实施

【文件属性】：
文件名称：lambdapi:依存类型的教育实施
文件大小：10KB
文件格式：ZIP
更新时间：2021-05-18 22:19:34
Haskell 兰达皮 依存类型的教育实现，还有一些额外的东西 基于： Löh，A.，McBride，C.和Swierstra，W.（2010）。 依赖类型的lambda演算的教程实现。 信息基金会（Fundamenta informationaticae），102（2），177-207。 在可扩展语法方面进行了一些实验。

【文件预览】：
lambdapi-master
----lambdapi.cabal(1KB)
----testfile.pi(117B)
----src()
--------Eval.hs(645B)
--------Typecheck.hs(2KB)
--------Module.hs(101B)
--------Expr.hs(7KB)
--------Decl.hs(200B)
--------Syntax.hs(12KB)
----default.nix(311B)
----LICENSE(1KB)
----lambdapi.nix(344B)
----README.md(294B)
----ChangeLog.md(112B)
----shell.nix(30B)