【文件属性】：
文件名称：free-applicative-agda:agda 中的免费应用程序
文件大小：8KB
文件格式：ZIP
更新时间：2021-07-05 09:42:19
Agda
Agda 中的免费应用程序
有关生成的文档，请参阅
【文件预览】：
free-applicative-agda-master
----.gitignore(14B)
----Makefile(125B)
----Free.agda(5KB)
----WellFounded.agda(3KB)
----README.md(90B)
----Coyoneda.agda(1KB)
----Monoidal.agda(8KB)
----README.agda(1KB)