Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / chrrasmussen/Idris2-Erlang issues and pull requests
#9 - Can't run sample
Issue -
State: closed - Opened by fuelen over 3 years ago
- 2 comments
#8 - Run tests in Nix build
Issue -
State: open - Opened by yurrriq over 4 years ago
#7 - Add BitsN casts primitives
Issue -
State: closed - Opened by chrrasmussen over 4 years ago
Labels: good first issue
#6 - Add putChar and getChar primitives
Issue -
State: open - Opened by chrrasmussen over 4 years ago
Labels: good first issue
#5 - Improve the performance of the generated Erlang code
Issue -
State: open - Opened by chrrasmussen over 4 years ago
#4 - Improve IORef/Buffer implementations
Issue -
State: open - Opened by chrrasmussen over 4 years ago
- 10 comments
#3 - Standalone code generator
Issue -
State: open - Opened by chrrasmussen over 4 years ago
#2 - Configure Nix build/shell
Pull Request -
State: closed - Opened by yurrriq over 4 years ago
- 2 comments
#1 - Thanks!
Issue -
State: open - Opened by yurrriq over 4 years ago
- 13 comments