Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ohad/collie issues and pull requests
#25 - export fixity declarations
Pull Request -
State: closed - Opened by andrevidela 7 months ago
#24 - Hide fixities where they are ambiguous to silence Idris 2 v0.7.0 compiler warnings.
Pull Request -
State: closed - Opened by mattpolzin about 1 year ago
#23 - Add support for environment variables
Issue -
State: open - Opened by ohad almost 3 years ago
- 2 comments
Labels: enhancement
#22 - remove deprecated record syntax.
Pull Request -
State: closed - Opened by mattpolzin about 3 years ago
#21 - Poor type checking performance with many subcommands
Issue -
State: open - Opened by eayus about 3 years ago
- 1 comment
Labels: bug, performance
#20 - [ new ] commands indexed by their path
Pull Request -
State: open - Opened by gallais over 3 years ago
#19 - Ensure commands and flags are well formed
Issue -
State: open - Opened by gallais over 3 years ago
Labels: enhancement
#18 - [ new ] direct dispatching of handlers using fromString
Pull Request -
State: open - Opened by gallais over 3 years ago
- 1 comment
#17 - [ closes #16 ] performance test case
Pull Request -
State: closed - Opened by gallais over 3 years ago
#16 - Performance issue
Issue -
State: closed - Opened by gallais over 3 years ago
- 1 comment
Labels: performance
#15 - Automatically derive an autocompletion machinery
Issue -
State: open - Opened by gallais over 3 years ago
Labels: enhancement
#14 - [ refactor ] accumulating errors
Pull Request -
State: closed - Opened by gallais over 3 years ago
#13 - [ refactor ] use boolean relations rather than decidable ones
Pull Request -
State: closed - Opened by gallais over 3 years ago
- 1 comment
#12 - [ cleanup ] no need to be quite as explicit
Pull Request -
State: closed - Opened by gallais over 3 years ago
#11 - Bugfix: finish a lingering hole in Quantifiers
Pull Request -
State: closed - Opened by ohad over 3 years ago
- 1 comment
#10 - [ fix #9 ] Required arguments
Pull Request -
State: closed - Opened by gallais over 3 years ago
#9 - Is it possible to make an argument required?
Issue -
State: closed - Opened by mattpolzin over 3 years ago
#8 - Indication of expected arguments in Usage printout.
Issue -
State: open - Opened by mattpolzin over 3 years ago
- 1 comment
Labels: enhancement
#7 - Change the usage interface to enable multiline, indented, usage strings
Pull Request -
State: closed - Opened by ohad over 3 years ago
#6 - Ergonomic matching on commands
Pull Request -
State: closed - Opened by ohad over 3 years ago
- 3 comments
#5 - [ refactor ] index mods & commands by their name
Pull Request -
State: closed - Opened by gallais over 3 years ago
- 1 comment
#4 - [ ci ] use github actions to build the package & html doc
Pull Request -
State: closed - Opened by gallais over 3 years ago
- 1 comment
#3 - [ refactor ] make freshness annotation runtime irrelevant
Pull Request -
State: closed - Opened by gallais over 3 years ago
- 1 comment
#2 - [ fix ] add defaulting phase for flags
Pull Request -
State: closed - Opened by gallais over 3 years ago
#1 - All rewrite
Pull Request -
State: closed - Opened by ohad over 3 years ago