Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mattpolzin/idris-fvect issues and pull requests
#4 - formatting, swapping around of what type of consing gets infix operator, runtime capacity' helper
Pull Request -
State: closed - Opened by mattpolzin 26 days ago
#3 - Capacity view
Pull Request -
State: closed - Opened by mattpolzin 10 months ago
#2 - Cleanup
Pull Request -
State: closed - Opened by mattpolzin 10 months ago
#1 - [ compat ] adjust to upstream changes
Pull Request -
State: closed - Opened by stefan-hoeck almost 3 years ago