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.