文件名称：dependent_typed:从简单类型 Lambda 演算到依赖类型 Lambda 演算
文件大小：5KB
文件格式：ZIP
更新时间：2024-07-13 08:05:06
Haskell
依赖类型 Lambda 演算 概括 这是我在围绕依赖类型扭曲我的头的存储库。 贡献 是的，请这样做！ 有关指南，请参阅。 执照 参见。 版权所有 (c) 2015 Jeremy Bi。
【文件预览】：
dependent_typed-master
----typedlambda.cabal(724B)
----src()
--------TypeCheck.hs(5KB)
--------Evaluate.hs(2KB)
--------Term.hs(3KB)
--------Main.hs(50B)
----.gitignore(160B)
----README.md(374B)