The elba Guide

elba is a package manager for the Idris programming language. This is the OUTDATED GUIDE to using it.

The current version can be found at https://elba.readthedocs.io.