Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / huwcampbell/optparse-idris issues and pull requests
#9 - Upgrade to idris 2
Pull Request -
State: closed - Opened by shmish111 over 4 years ago
- 3 comments
#8 - Fix runParserFully, add Flag'
Pull Request -
State: open - Opened by andrevidela over 5 years ago
#7 - build with nix
Pull Request -
State: closed - Opened by shmish111 almost 6 years ago
- 1 comment
#6 - fix up ipkg
Pull Request -
State: closed - Opened by langston-barrett about 8 years ago
- 3 comments
#5 - Can't find import Control/Lens/At
Issue -
State: closed - Opened by langston-barrett about 8 years ago
- 1 comment
#4 - Use upstream Bifunctors repo
Issue -
State: closed - Opened by langston-barrett about 8 years ago
- 1 comment
#3 - Example application
Issue -
State: open - Opened by langston-barrett about 8 years ago
#2 - Upstream dependency wl-pprint is broken
Issue -
State: closed - Opened by langston-barrett about 8 years ago
- 3 comments
#1 - Documentation
Issue -
State: open - Opened by langston-barrett about 8 years ago
- 3 comments