Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / bamboo/idris2dart issues and pull requests
#7 - A question regarding type safety of generated code
Issue -
State: open - Opened by oco-adam over 3 years ago
- 2 comments
#6 - Make all stops with Error
Issue -
State: closed - Opened by oco-adam over 3 years ago
- 3 comments
#5 - Can't use named arguments inside defStatic
Issue -
State: closed - Opened by rafaelprev almost 4 years ago
- 4 comments
#4 - Foreign function argument values of type `Bool` should be converted to Dart `bool`
Issue -
State: closed - Opened by rafaelprev almost 4 years ago
- 2 comments
#3 - Your flutter examples doesn't compile anymore
Issue -
State: closed - Opened by rafaelprev almost 4 years ago
- 1 comment
#2 - Does not compile with latest Idris2
Issue -
State: closed - Opened by CoNsTaRs about 4 years ago
- 1 comment
#1 - variable already declared in this scope
Issue -
State: closed - Opened by po-stulate about 4 years ago
- 4 comments