Module AddTypes

Summary of exported operations:

main :: IO ()  Non-deterministic 
addtypes is supposed to get its argument, the file to add type signatures to from the shell.
addTypeSignatures :: String -> IO String  Non-deterministic 

Exported operations:

main :: IO ()  Non-deterministic 

addtypes is supposed to get its argument, the file to add type signatures to from the shell.

addTypeSignatures :: String -> IO String  Non-deterministic