Agda-2.2.10: A dependently typed functional programming language and proof assistant
Epic compiler backend.
compilerMain :: Interface -> TCM ()Source
Compile an interface into an Epic/a.out program
/actually this is not true, we compile everything so we don't even look at
the Interface. This may change in the future.
Produced by Haddock version 2.9.0