TTInAgda:STLC在Agda中的实现，带有原始术语，打字证明和索引术语

【文件属性】：
文件名称：TTInAgda:STLC在Agda中的实现，带有原始术语，打字证明和索引术语
文件大小：7KB
文件格式：ZIP
更新时间：2021-05-02 23:55:45
Agda TTInAgda STLC在Agda中的实现，带有原始术语，打字证明和索引术语

【文件预览】：
TTInAgda-master
----STLC.agda(6KB)
----DeBruijnToPHOAS.agda(10KB)
----STLC2.agda(9KB)
----ValidityModalDeBruijnToPHOAS.agda(3KB)
----README.md(99B)