bam-idris-blog:Idris 中的静态博客生成器

时间:2024-07-14 03:05:21
【文件属性】:

文件名称:bam-idris-blog:Idris 中的静态博客生成器

文件大小:6KB

文件格式:ZIP

更新时间:2024-07-14 03:05:21

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)

网友评论