elba

A modern and (hopefully!) fast package manager for Idris.

Installation

There are three options for installing elba:

1. Download the pre-built binary corresponding to your platform from GitHub Releases and place it in your PATH.
2. Install the package from Rust's crates.io repository using cargo install elba
3. 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.