elba 0.3.0

elba is a package manager for Idris
Documentation
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
   

Indices and tables
==================

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`