Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / puffnfresh/tryidris issues and pull requests
#11 - Import Effects
Issue -
State: open - Opened by mjdtdw about 7 years ago
#10 - Link to tutorial hosted at ReadTheDocs
Pull Request -
State: closed - Opened by jeremy-w over 9 years ago
#9 - Add link shortening
Issue -
State: open - Opened by suhr over 9 years ago
- 1 comment
Labels: enhancement
#8 - Show idris version on the page
Issue -
State: open - Opened by suhr over 9 years ago
- 1 comment
Labels: enhancement
#7 - Samples to try throw error
Issue -
State: open - Opened by blandflakes over 9 years ago
- 1 comment
Labels: bug
#6 - Upgrade to Idris 0.9.18
Pull Request -
State: closed - Opened by puffnfresh over 9 years ago
#5 - Remove IQuery dependency
Issue -
State: open - Opened by puffnfresh over 9 years ago
Labels: enhancement
#4 - Package with Halcyon
Pull Request -
State: closed - Opened by puffnfresh almost 10 years ago
#3 - Towards reproducible deployment
Pull Request -
State: closed - Opened by mietek about 10 years ago
#2 - Deploy with Haskell on Heroku (cedar-14)
Pull Request -
State: closed - Opened by mietek over 10 years ago
- 1 comment
#1 - resource exhausted
Issue -
State: closed - Opened by puffnfresh almost 11 years ago
- 1 comment
Labels: bug