[Agda] read-output Nat example

[Sergei Meshveliani]

On Wed, 2016-09-21 at 15:02 +0200, Nils Anders Danielsson wrote:
> On 2016-09-21 12:37, Sergei Meshveliani wrote:
> > main = (readFile "data.txt") >>= putStrLn ∘ toCostring ∘ g
> 
> Perhaps you could use readFiniteFile.
> 


Indeed, it helps. Thank you.

------
Sergei