Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / grin-compiler/idris-grin issues and pull requests
#9 - Idris2 backend?
Issue -
State: open - Opened by JoeyEremondi about 4 years ago
- 3 comments
#8 - Update packages
Pull Request -
State: closed - Opened by luc-tielen almost 5 years ago
- 5 comments
#7 - Setup nix env
Pull Request -
State: closed - Opened by luc-tielen almost 5 years ago
- 1 comment
#6 - Current state of development
Issue -
State: open - Opened by simonvar about 5 years ago
- 1 comment
#5 - Zurihac/idris
Pull Request -
State: closed - Opened by pdani over 5 years ago
#4 - Zurihac/idris
Pull Request -
State: closed - Opened by pdani over 5 years ago
#3 - Install llvm-7 for gitpod
Pull Request -
State: closed - Opened by pdani over 5 years ago
#2 - Add configuration for Gitpod
Pull Request -
State: closed - Opened by pdani over 5 years ago
#1 - Handle String as non grin-primitive
Issue -
State: open - Opened by andorp over 5 years ago