/idris2dart

The Dart backend for Idris 2.

Primary LanguageIdrisOtherNOASSERTION

Stargazers