Crate elba[−][src]
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. |
index |
An index from which information/metadata about available packages is obtained. |
package |
Data structures related to packages. |
resolve |
Module |
retrieve |
Interfaces for retrieving packages (and information about them) from different sources. |
util |
Utility functions. |