Post-processing agda produced html/*.tree to valid tree.
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
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.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4
