Idris2dart vs Functional_widget

Functional_widgetIdris2dart
Stars57231
Downloads
Dependent Packages5
Dependent Repos5
Most Recent Commit5 months ago3 years ago
Total Releases23
Latest ReleaseOctober 26, 2022
Open Issues7
Licenseother
Programming LanguageDartIdris