lambdapi:依存类型的教育实施

时间:2024-06-07 16:06:14
【文件属性】:

文件名称:lambdapi:依存类型的教育实施

文件大小:10KB

文件格式:ZIP

更新时间:2024-06-07 16:06:14

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)

网友评论