【文件属性】:
文件名称:agda-playground:试用依赖类型
文件大小:6KB
文件格式:ZIP
更新时间:2021-04-21 06:30:22
Agda
阿格达游乐场
试用依赖类型
【文件预览】:
agda-playground-main
----algebra.agda(3KB)
----plfa()
--------induction.agda(10KB)
--------naturals.agda(2KB)
----LICENSE(1KB)
----.gitignore(19B)
----README.md(45B)