Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / huwcampbell/idris-lens issues and pull requests
#11 - one last problem when trying to convert to Idris2
Issue -
State: closed - Opened by shmish111 over 4 years ago
- 7 comments
#10 - How can I use this library in my project?
Issue -
State: open - Opened by bgavran over 5 years ago
#9 - Update lens.ipkg
Pull Request -
State: closed - Opened by ashley-woodard about 7 years ago
- 1 comment
#8 - list pkgs instead of opts
Pull Request -
State: closed - Opened by langston-barrett about 8 years ago
- 2 comments
#7 - lens.ipkg: add missing modules
Pull Request -
State: closed - Opened by langston-barrett about 8 years ago
- 1 comment
#6 - Merge into idris-hackers/idris-lens
Issue -
State: closed - Opened by langston-barrett about 8 years ago
- 2 comments
#5 - Close #3
Pull Request -
State: closed - Opened by ghost over 8 years ago
- 1 comment
#4 - Merge pull request #1 from HuwCampbell/master
Pull Request -
State: closed - Opened by ghost over 8 years ago
- 1 comment
#3 - Use Data.Morphisms.(~>) instead of Data.Profunctor.Arrow.Arrow
Issue -
State: closed - Opened by ghost over 8 years ago
#1 - Make prisms work
Pull Request -
State: closed - Opened by ghost over 8 years ago
- 7 comments