1/1: Building ReadFile (ReadFile.idr)
Main> "Hello, world\nLorem ipsum\n"
Main> Bye for now!
