文件名称：lambdapi:Haskell中的依赖类型Lambda演算
文件大小：22KB
文件格式：ZIP
更新时间：2024-05-26 15:43:46
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)