[Agda] IO programs examples ?

[Sergei Meshveliani]

On Fri, 2018-01-26 at 09:53 +0100, Serge Leblanc wrote:
> Hi, does someone have examples of IO programs for reads and writing
> files ?

Below `main' reads a string from  data.txt  and writes the obtained
string to standard output:

--------------------------------------------------
module TT where
open import Function using (_∘_)
open import Foreign.Haskell
open import IO.Primitive
open import Data.String using (String; toCostring)

main = (readFiniteFile "data.txt") >>= putStrLn ∘ toCostring ∘ g
       where
       g : String -> String
       g str = str 
--------------------------------------------------