elba
A modern and (hopefully!) fast package manager for Idris.
Installation
There are three options for installing elba:
- Download the pre-built binary corresponding to your platform from GitHub Releases and place it in your PATH.
- Install the package from Rust's crates.io repository using
cargo install elba - Manually build and install elba yourself using the source code with
git clone https://github.com/elba/elba.git && cd elba && cargo install.
Documentation
The elba Guide is intended to be the ultimate source of information on using elba and understanding its functionality.
Documentation for elba-the-Rust-library is hosted at docs.rs/elba.
License
elba itself is distributed under the MIT License.