【文件属性】：
文件名称：bam-idris-blog:Idris 中的静态博客生成器
文件大小：6KB
文件格式：ZIP
更新时间：2021-06-24 09:18:41
Idris
BAM 博客（在伊德里斯）
这是一个用 Idris 编写的静态站点生成器，它接收 JSON 和 Markdown 并生成我的个人博客。
目前还没有涉及依赖类型的有趣用途，但这。
【文件预览】：
bam-idris-blog-master
----Main.idr(2KB)
----articles()
--------example.md(32B)
--------example.json(77B)
----Template.idr(4KB)
----shell.nix(216B)
----generated()
--------EMPTY(0B)
----LICENSE.md(1KB)
----.gitignore(25B)
----JSONLenses.idr(694B)
----README.md(332B)
----style.css(2KB)