文件名称：agda-playground:试用依赖类型
文件大小：6KB
文件格式：ZIP
更新时间：2024-05-11 00:17:02
Agda
阿格达游乐场 试用依赖类型
【文件预览】：
agda-playground-main
----algebra.agda(3KB)
----plfa()
--------induction.agda(10KB)
--------naturals.agda(2KB)
----LICENSE(1KB)
----.gitignore(19B)
----README.md(45B)