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

Safe Haskell	None

Agda.Main

Description

Agda main module.

Synopsis

Documentation

runAgda :: TCM ()Source

The main function

printUsage :: IO ()Source

Print usage information.

printVersion :: IO ()Source

Print version information.

optionError :: String -> IO ()Source

What to do for bad options.

main :: IO ()Source

Main