AgdaCheatSheet：依赖类型的功能语言Agda ^ _ ^的基础

【文件属性】：
文件名称：AgdaCheatSheet：依赖类型的功能语言Agda ^ _ ^的基础
文件大小：726KB
文件格式：ZIP
更新时间：2021-02-05 06:59:54
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)