[Agda] read-output Nat example

[Nils Anders Danielsson]

On 2016-09-21 12:37, Sergei Meshveliani wrote:
> main = (readFile "data.txt") >>= putStrLn ∘ toCostring ∘ g

Perhaps you could use readFiniteFile.

-- 
/NAD