maam-0.2.0.0: An application of the Galois Transformers framework to two example semantics.
FP.IO
readFile :: String -> IO String Source
writeFile :: String -> String -> IO () Source