Agda-2.5.2: A dependently typed functional programming language and proof assistant
Agda.Compiler.UHC.Compiler
Description
UHC compiler backend, main entry point.
Synopsis
compilerMain :: IsMain -> Interface -> TCM () Source #
Compile an interface into an executable using UHC