Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / stepcut/idris-blink issues and pull requests
#4 - Corrected typo
Pull Request -
State: closed - Opened by max22- over 3 years ago
#3 - Problem with building it on Ubuntu
Issue -
State: closed - Opened by varosi about 4 years ago
- 2 comments
#2 - Using Arduino's C-functions with no intermediate C lib
Pull Request -
State: closed - Opened by buzden over 4 years ago
- 2 comments
#1 - Update to the modern Idris 1 and several improvements
Pull Request -
State: closed - Opened by buzden over 4 years ago
- 1 comment