[Agda] file for readFiniteFile

Sergei Meshveliani mechvel at botik.ru
Wed Sep 21 21:20:13 CEST 2016


People,

I put  12

in the file  data.txt  and apply  (readFiniteFile "data.txt").

And it returns  "120"  instead of expected  "12".
I suspect, some particular symbol needs to be set to the file after  12 
Who knows, please?

Thanks,

------
Sergei



More information about the Agda mailing list