【文件属性】:
文件名称:lambdapi:Haskell中的依赖类型Lambda演算
文件大小:22KB
文件格式:ZIP
更新时间:2021-05-06 21:57:06
programming-language dependent-types Haskell
相依型Lambda演算
此项目是对“”论文的源代码的重组。
这个项目的目标是使代码可读性和可理解性。
有兴趣的读者也可以查看。
该项目的目标是使代码的读取和导航尽可能简单。
如何玩例子
单纯型Lambda演算
$ stack run st
Interpreter for the simply typed lambda calculus.
Type :? for help.
ST> :load prelude.st
相依型Lambda演算
$ stack run lp
Interpreter for lambda-Pi.
Type :? for help.
LP> :load prelude.lp
【文件预览】:
lambdapi-master
----prelude.st(607B)
----.github()
--------workflows()
----stack.yaml(35B)
----LICENSE(0B)
----src()
--------LambdaPi()
--------REPL.hs(8KB)
--------Lambda()
--------Common.hs(894B)
----.gitignore(26B)
----lph.cabal(1KB)
----stack.yaml.lock(449B)
----README.md(775B)
----prelude.lp(12KB)