Idris Dev vs Flib

Idris DevFlib
Stars3,38210
Downloads
Dependent Packages2
Dependent Repos10
Most Recent Commit4 months ago7 years ago
Total Releases714
Latest ReleaseOctober 22, 2021November 13, 2016
Open Issues708
Licenseother
Programming LanguageHaskellJavaScript