elba
https://elba.pub
An experiment in Idris package management
Repositories
Issues
Comments
Results
1
repositories owned by
elba
elba
190
Stars
10
Forks
Watchers
A package manager for Idris
elba
idris
package-manager