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 first run (with agda 2.8.0)

agda --html --html-highlight=code ex.lagda.tree

agda will produce a html/ex.tree, then do postprocessing

agda-tree build .

you will get

.
|-trees
| |- ex.tree

then you can view literate Agda in forster system.

Example