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 Watchers
Rodrigo Bamboo
bamboo
CoNsTaRs
eemailme
James Cloos
jhcloos
Joey Eremondi
JoeyEremondi
Rodolfo Hansen
kryptt
Adam Harris
oco-adam
rafaelprev
Patrick Roemer
sangamon