文件名称：AgdaCheatSheet：依赖类型的功能语言Agda ^ _ ^的基础
文件大小：726KB
文件格式：ZIP
更新时间：2024-02-26 00:46:34
html pdf emacs cheatsheet agda
AgdaCheatSheet：依赖类型的功能语言Agda ^ _ ^的基础
【文件预览】：
AgdaCheatSheet-master
----_config.yml(26B)
----.gitmodules(93B)
----README.org(33KB)
----CheatSheet.lagda(47KB)
----CompilingAgda.agda(5KB)
----CheatSheet.pdf(341KB)
----CheatSheet()
----CheatSheet_Portrait.pdf(342KB)
----PathCat.agda(51KB)