Safe Haskell | Safe-Infered |
---|
Agda.Compiler.Epic.Compiler
Description
Epic compiler backend.
- compilerMain :: Interface -> TCM ()
Documentation
compilerMain :: Interface -> TCM ()Source
Compile an interface into an executable using Epic
Agda-2.3.0.1: A dependently typed functional programming language and proof assistant
Safe Haskell | Safe-Infered |
---|
Agda.Compiler.Epic.Compiler
Description
Epic compiler backend.
compilerMain :: Interface -> TCM ()Source
Compile an interface into an executable using Epic