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:

This will change if agda directly accept *.lagda.tree as input, at that case I will update agda-tree to fit it.

Example