文件名称：agdaexpr:阿格达实验
文件大小：18KB
文件格式：ZIP
更新时间：2024-04-28 06:25:33
Agda
agdaexpr 阿格达实验
【文件预览】：
agdaexpr-main
----gpdt()
--------ch2.agda(2KB)
--------ch3.agda(601B)
--------README.md(62B)
--------aritygen-lncs()
----plfa()
--------part1()
--------ch-00()
----.gitignore(19B)
----README.md(28B)