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

Agda.Main

Description

Agda main module.

Synopsis

Documentation

runAgda :: TCM ()

The main function

printUsage :: IO ()

Print usage information.

printVersion :: IO ()

Print version information.

optionError :: String -> IO ()

What to do for bad options.

main :: IO ()

Main