elba

A package manager for Idris

Archived

GitHub
190 stars
9 watching
10 forks
Language: Rust
last commit: about 4 years ago
Linked from 1 awesome list

idrispackage-manager

Screenshot of elba/elba website

http://elba.pub

Backlinks from these awesome lists: