agda-tree
| Crates.io | agda-tree |
| lib.rs | agda-tree |
| version | 0.3.5 |
| created_at | 2024-07-28 14:06:02.692446+00 |
| updated_at | 2025-05-15 13:30:42.16134+00 |
| description | A post-processing tool for html/*.tree produced by agda |
| homepage | |
| repository | https://github.com/dannypsnl/agda-tree |
| max_upload_size | |
| id | 1318018 |
| size | 114,091 |
Lîm Tsú-thuàn (dannypsnl)
documentation
README
agda-tree
Post-processing agda produced html/*.tree to valid 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
| |- ex.lagda.tree
cd xxx, you first run agda (>= 2.8.0) with flags
agda --html --html-highlight=code ex.lagda.tree
agda will produce a ./html/ex.tree, then do postprocessing
agda-tree build
you will get a directory xxx/trees, I will put this directory into configuration forest.toml, then you can view literate Agda in forster system.
