Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / dannypsnl/agda-tree issues and pull requests
#9 - add flag `--watch` for command build
Issue -
State: closed - Opened by dannypsnl 4 months ago
- 1 comment
#8 - use forester config to generate new `*.lagda.tree`
Issue -
State: closed - Opened by dannypsnl 4 months ago
- 3 comments
#7 - style isse: `pre:(.Agda)` should get enough width to avoid been weird
Issue -
State: closed - Opened by dannypsnl 4 months ago
- 2 comments
#6 - hiding agda block
Issue -
State: closed - Opened by dannypsnl 4 months ago
- 1 comment
#5 - let cli accept a directory as input
Issue -
State: closed - Opened by dannypsnl 4 months ago
- 1 comment
#4 - let link integrate with forester better
Issue -
State: closed - Opened by dannypsnl 4 months ago
#3 - literate programming
Issue -
State: open - Opened by dannypsnl 4 months ago
- 4 comments
#2 - keep usual tree content
Issue -
State: closed - Opened by dannypsnl 4 months ago
- 1 comment
#1 - problem 1: didn't produce nice format for agda code
Issue -
State: closed - Opened by dannypsnl 4 months ago
- 1 comment