Safe Haskell | None |
---|
Agda main module.
- runAgda :: TCM ()
- printUsage :: IO ()
- printVersion :: IO ()
- optionError :: String -> IO ()
- main :: IO ()
Documentation
printUsage :: IO ()Source
Print usage information.
printVersion :: IO ()Source
Print version information.
optionError :: String -> IO ()Source
What to do for bad options.