【文件属性】：
文件名称：lambdapi:拉姆达皮
文件大小：10KB
文件格式：ZIP
更新时间：2021-06-22 09:06:36
Scala
拉姆达皮
这个 repo 提供了一个依赖类型 lambda 演算的简单实现。 它是在 Scala 中实现的，并基于 Haskell 在论文中描述的依赖类型的实现：
A Tutorial Implementation of a Dependently Typed Lambda Calculus
Andres Löh, Conor McBride and Wouter Swierstra
http://www.andres-loeh.de/LambdaPi/LambdaPi.pdf
至少目前，它确实没有提供比原始论文更多的东西，而是我想更好地了解如何实现具有依赖类型的系统，因为我最近一直在使用它们（特别是 Agda）。 没有什么比实施一个想法更能帮助您更好地理解它了！ 在此过程中，我也*对 Scala 有更好的理解。
建造
假设您安装了 SBT（ ），那么只需运行 sbt 并键入 co
【文件预览】：
lambdapi-master
----project()
--------assembly.sbt(57B)
----src()
--------main()
----LICENSE(1KB)
----build.sbt(424B)
----README.md(3KB)
----.gitignore(33B)