GitHub / dannypsnl/agda-tree issues and pull requests
#13 - forester link in README.md dead?
Issue -
State: closed - Opened by WolframKahl 24 days ago
- 1 comment
#12 - Unable to use agda-tree build as requires agda version >= 2.8.0 which is not released
Issue -
State: open - Opened by eeoam about 2 months ago
- 10 comments
#11 - https://crates.io/crates/agda-tree does not link to this repo
Issue -
State: closed - Opened by andreasabel 3 months ago
- 1 comment
#10 - Build failure due to unstable feature use
Issue -
State: closed - Opened by andreasabel 3 months ago
- 1 comment
#9 - add flag `--watch` for command build
Issue -
State: closed - Opened by dannypsnl about 1 year ago
- 1 comment
#8 - use forester config to generate new `*.lagda.tree`
Issue -
State: closed - Opened by dannypsnl about 1 year ago
- 3 comments
#7 - style isse: `pre:(.Agda)` should get enough width to avoid been weird
Issue -
State: closed - Opened by dannypsnl about 1 year ago
- 2 comments
#6 - hiding agda block
Issue -
State: closed - Opened by dannypsnl about 1 year ago
- 1 comment
#5 - let cli accept a directory as input
Issue -
State: closed - Opened by dannypsnl about 1 year ago
- 1 comment
#4 - let link integrate with forester better
Issue -
State: closed - Opened by dannypsnl about 1 year ago
#3 - literate programming
Issue -
State: closed - Opened by dannypsnl about 1 year ago
- 4 comments
#2 - keep usual tree content
Issue -
State: closed - Opened by dannypsnl about 1 year ago
- 1 comment
#1 - problem 1: didn't produce nice format for agda code
Issue -
State: closed - Opened by dannypsnl about 1 year ago
- 1 comment