Crate elba

A package manager for the Idris language.

Modules

• build
  Actually building Idris packages.
• cli
  Handlers for all of the command-line actions of the binary.
• package
  Data structures related to packages.
• remote
• resolve
  Module resolve provides logic for resolving dependency graphs.
• retrieve
  Interfaces for retrieving packages (and information about them) from different sources.
• util
  Utility functions.