agda-tree

Converts *.lagda.tree to *.tree.

Install

cargo install agda-tree

Usage

Let's say you have a forest (evergreen notes system via forester), and the directory structure is

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

then you can run

agda-tree build xxx

After that, you can move generated *.tree to trees/ directory in forest, then you can view literate Agda in forster system. The current internal working flow is as follows:

agda will accept *.lagda.tree as input once 2.8.0 release, agda-tree will need to change workflow for that.

Example