Giters
bamboo
/
idris2dart
The Dart backend for Idris 2.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
47
Watchers:
9
Issues:
7
Forks:
5
bamboo/idris2dart Issues
A question regarding type safety of generated code
Updated
a year ago
Comments count
2
Make all stops with Error
Closed
3 years ago
Comments count
3
variable already declared in this scope
Closed
4 years ago
Comments count
4
Can't use named arguments inside defStatic
Closed
4 years ago
Comments count
4
Foreign function argument values of type `Bool` should be converted to Dart `bool`
Closed
4 years ago
Comments count
2
Your flutter examples doesn't compile anymore
Closed
4 years ago
Comments count
1
Does not compile with latest Idris2
Closed
4 years ago
Comments count
1