Crate elba

Source
Expand description

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.