Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ice1000/agda-mode issues and pull requests
#8 - Add a Gitter chat badge to README.md
Pull Request -
State: closed - Opened by gitter-badger about 5 years ago
- 1 comment
#7 - Agda-tac freezes after define duplicate function
Issue -
State: closed - Opened by dandoh about 5 years ago
Labels: bug
#6 - [ debug-mode ] command to toggle debug mode
Pull Request -
State: closed - Opened by dandoh about 5 years ago
#5 - Use generics for serde
Pull Request -
State: closed - Opened by ice1000 about 5 years ago
Labels: enhancement
#4 - [ default-file ] fallback to default file if no filepath specified
Pull Request -
State: closed - Opened by dandoh about 5 years ago
- 1 comment
Labels: enhancement
#3 - [ typo ] Corrected `extra_help` URL
Pull Request -
State: closed - Opened by anqurvanillapy about 5 years ago
- 1 comment
Labels: documentation, invalid
#3 - [ typo ] Corrected `extra_help` URL
Pull Request -
State: closed - Opened by anqurvanillapy about 5 years ago
- 1 comment
Labels: documentation, invalid
#2 - Support Range
Issue -
State: closed - Opened by ice1000 about 5 years ago
#2 - Support Range
Issue -
State: closed - Opened by ice1000 about 5 years ago
#1 - Support stable rust
Issue -
State: closed - Opened by ice1000 about 5 years ago
Labels: enhancement