An Idris 2 code generator that outputs Dart code.
Primary LanguageIdrisOtherNOASSERTION
No one’s watching this repository yet.