Agda-2.2.6: A dependently typed functional programming language and proof assistant
Text IO using the UTF8 character encoding.
readTextFile :: FilePath -> IO StringSource
Reads a UTF8-encoded text file and converts all Unicode line
endings into '\n'.
writeFile :: FilePath -> String -> IO ()Source
Writes a UTF8-encoded text file. The native convention for line
endings is used.
Produced by Haddock version 2.8.1