文件名称：lambda-pi：出于我自己的教育目的，依赖于玩具的typechecker解释器
文件大小：9KB
文件格式：ZIP
更新时间：2024-03-10 19:43:15
Haskell
λΠ 依赖玩具的类型检查器，通过评估使用归一化进行娱乐，绝对没有利润。 与进行比较时，手工几乎是逐字记录。
【文件预览】：
lambda-pi-main
----package.yaml(1KB)
----lambda-pi.cabal(1KB)
----stack.yaml(2KB)
----LICENSE(1KB)
----src()
--------Check.hs(3KB)
--------Parse.hs(2KB)
--------Eval.hs(1KB)
--------Types.hs(396B)
--------Examples.hs(990B)
----Setup.hs(46B)
----.gitignore(15B)
----stack.yaml.lock(447B)
----README.md(356B)