1 result found Sort:

bamboo
idris2dart bamboo
5
49
other
9
The Dart backend for Idris 2.
dart idris idris2 flutter idris2-ecosystem
Created 2020-08-29
188 commits to main branch, last one 3 years ago