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