agda-pkg:一个在 Agda 中模拟包的简单工具

【文件属性】：

文件名称：agda-pkg:一个在 Agda 中模拟包的简单工具

文件大小：3KB

文件格式：ZIP

更新时间：2024-07-02 19:59:28

Shell

agda-pkg 一个在 Agda 中模拟包的简单工具

【文件预览】：
agda-pkg-master
----agda-pkg(5KB)
----LICENSE(1KB)
----README.md(61B)