文件名称：TTInAgda:STLC在Agda中的实现，带有原始术语，打字证明和索引术语
文件大小：7KB
文件格式：ZIP
更新时间：2024-05-22 17:42:25
Agda
TTInAgda STLC在Agda中的实现，带有原始术语，打字证明和索引术语
【文件预览】：
TTInAgda-master
----STLC.agda(6KB)
----DeBruijnToPHOAS.agda(10KB)
----STLC2.agda(9KB)
----ValidityModalDeBruijnToPHOAS.agda(3KB)
----README.md(99B)