Module elba::build

Actually building Idris packages.

Modules

context
invoke	Utilities for interacting with the Idris compiler
job

Structs

Targets

Enums

Target

A type of Target that should be built

Functions

compile_bin
compile_doc
compile_lib