why-dependent-types-matter:“为什么要依赖类型很重要”论文的配套代码

【文件属性】：
文件名称：why-dependent-types-matter:“为什么要依赖类型很重要”论文的配套代码
文件大小：17KB
文件格式：ZIP
更新时间：2021-05-13 08:40:32
Agda 为什么依赖类型很重要 重要信息：该存储库现在。 在Agda，Idris ans Haskell的同伴代码中，Thorsten Altenkirch，Conor McBride和James McKinna撰写了“为什么从属类型很重要”一文。 本文中的原始代码使用Epigram语言，该语言已不再维护甚至不可用。 因此，我重写了现代功能语言。 有关更多信息，请参见有关， 和博客文章。

【文件预览】：
why-dependent-types-matter-master
----WhyDependentTypesMatter.agda(16KB)
----WhyDependentTypesMatter.idr(15KB)
----.gitignore(81B)
----README.md(769B)
----WhyDependentTypesMatter.hs(15KB)