The elba Guide
elba is a package manager for the Idris programming language. This book aims to be a mostly comprehensive guide on actually using it.
.. toctree:: :maxdepth: 2 :caption: Usage usage/quick_start usage/binaries_and_tests usage/installing usage/custom_subcommands usage/publishing
.. toctree:: :maxdepth: 2 :caption: Reference reference/configuration reference/resolutions reference/manifest reference/indices reference/registries reference/dependencies reference/cache