文件名称：AgdaTutorial:http的Git分支
文件大小：87KB
文件格式：ZIP
更新时间：2024-06-20 13:19:59
Agda
用法 可以在以下位置找到在线 HTML 版本 本地构建 设置沙箱。 cabal sandbox init 克隆 Agda 和 PandocAgda。 git clone git@github.com:agda/agda.git ../agda git clone git@github.com:agda/agda-stdlib.git ../agda-stdlib git clone git@github.com:divipp/PandocAgda.git ../PandocAgda 安装 git 版本的 agda 和 PandocAgda。 cabal install ../agda ../PandocAgda 生成教程的 html 视图。 AGDAPANDOC="cabal exec agdapandoc --" AGDASTDLIB=../agda-stdlib/ ma
【文件预览】：
AgdaTutorial-master
----dot()
--------Binary_tree_shapes.dot(228B)
----html()
--------dot()
--------Agda.css(4KB)
----Makefile(451B)
----src()
--------About()
--------ImportExample.agda(70B)
--------Constants.lagda(839B)
--------Modules()
--------Emacs_Usage.lagda(3KB)
--------Term_Inference.lagda(3KB)
--------Further_Reading.lagda(2KB)
--------About.lagda(2KB)
--------Installation.lagda(3KB)
--------Functions()
--------Syntax()
--------Motivation.lagda(7KB)
--------Application()
--------Index.lagda(1KB)
--------Sets()
--------tmp()
----LICENSE(2KB)
----README.md(723B)