Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / z-snails/idris2-hashmap issues and pull requests
#3 - `keys` and `toList` omits the second element.
Issue -
State: closed - Opened by emdash over 1 year ago
- 1 comment
#2 - [ compat ] fix build errors and warnings with current Idris2 HEAD
Pull Request -
State: closed - Opened by stefan-hoeck almost 3 years ago
- 3 comments
#1 - Sometihng is broken
Issue -
State: closed - Opened by Z-snails almost 4 years ago
- 1 comment