文件名称：PandocAgda:Pandoc支持识字的Agda
文件大小：9KB
文件格式：ZIP
更新时间：2024-06-09 19:08:26
Haskell
％Agda教程 如何建造 使用以下命令安装agdapandoc cabal install 如何测试构建（这也会构建文档） 生成示例的html视图 cd examples; make 开始浏览examples / html / Simple.html 如何使用 请参阅examples/html/Simple.html的文档。
【文件预览】：
PandocAgda-master
----.gitignore(11B)
----PandocAgda.cabal(1KB)
----data()
--------Agda.template(1KB)
--------Agda.css(1KB)
----LICENSE(2KB)
----examples()
--------html()
--------Makefile(145B)
--------Simple.lagda(3KB)
----README.md(507B)
----PandocAgda.hs(6KB)