Geeks
bamboo
/
idris2dart
The Dart backend for Idris 2.
Primary Language
Idris
Other
NOASSERTION
idris2dart GitHub
Markdown
Readme
7
Issues
50
Stargazers
9
Watchers
Watchers
bamboo
@Gradle
CoNsTaRs
eemailme
jhcloos
JoeyEremondi
University of Regina
kryptt
KindleIT
oco-adam
Omnified
rafaelprev
sangamon