agda-tree

将 *.lagda.tree 转换为 *.tree。

安装

cargo install agda-tree

用法

假设你有一个森林（通过 forester 的常绿笔记系统），目录结构如下

.
 |
 |-forest.toml      (config of forester)
 |-trees            (for forester)
 |-xxx
 | |-xxx.agda-lib

然后你可以运行

agda-tree build xxx

之后，你可以将生成的 *.tree 移动到森林中的 trees/ 目录，然后你可以在 forster 系统中查看文献 Agda。当前内部工作流程如下

如果 agda 直接接受 *.lagda.tree 作为输入，那么我将会更新 agda-tree 以适应它。

示例