Agda-2.5.1: A dependently typed functional programming language and proof assistant

Safe HaskellNone
LanguageHaskell98

Agda.Compiler.UHC.Compiler

Description

UHC compiler backend, main entry point.

Synopsis

Documentation

compilerMain :: IsMain -> Interface -> TCM () Source

Compile an interface into an executable using UHC