【文件属性】：
文件名称：AgdaTutorial:http的Git分支
文件大小：87KB
文件格式：ZIP
更新时间：2021-05-31 19:33:19
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)