Idris2dart vs Doc_widget

Doc_widgetIdris2dart
Stars4931
Downloads
Dependent Packages2
Dependent Repos
Most Recent Commit2 years ago3 years ago
Total Releases5
Latest ReleaseNovember 30, 2021
Open Issues
Licenseother
Programming LanguageDartIdris