Toggle navigation
PAKCS
Module Main
Imports
Operations
Curry Homepage
PAKCS Libraries
About CurryDoc
Exported names:
Operations:
main
Imported modules:
Prelude
FlatCurry.Types
GetOpt
System.CurryPath
System
Options
Synthesize
Module
Main
Summary of exported operations:
main
:: IO ()
Exported operations:
main
:: IO ()