Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / idream-build/idream issues and pull requests
#11 - Refactor for Idris2
Pull Request -
State: closed - Opened by ejconlon over 3 years ago
#10 - Choose handle mode per command (to make repl work)
Pull Request -
State: closed - Opened by ejconlon over 6 years ago
#9 - Update remote package fixtures to point to new remote URL
Pull Request -
State: closed - Opened by luc-tielen over 6 years ago
#8 - First cut at repl
Pull Request -
State: closed - Opened by ejconlon over 6 years ago
- 1 comment
#7 - Fix/mkdocs command
Pull Request -
State: closed - Opened by luc-tielen over 6 years ago
#6 - Cut over to the haskell refactor!!!
Pull Request -
State: closed - Opened by ejconlon over 6 years ago
#5 - Optimize / paralllellize building of idris packages
Issue -
State: closed - Opened by luc-tielen over 6 years ago
#4 - Redesign of package building
Issue -
State: closed - Opened by luc-tielen over 6 years ago
- 1 comment
#3 - Rework command line args parsing
Issue -
State: closed - Opened by luc-tielen over 6 years ago
- 21 comments
#2 - Fix CI
Issue -
State: closed - Opened by ejconlon over 6 years ago
- 5 comments
#1 - Consider rewrite in Haskell or Idris
Issue -
State: closed - Opened by ejconlon over 6 years ago
- 6 comments