|
Implementation of a worker client to analyze a module
Author: Heiko Hoffmann, Michael Hanus
Version: March 2013
main
:: IO ()
|
startWorker
:: String -> Int -> IO ()
|
|
|