1/1: Building Run (Run.idr)
Main> "Hello, world"
"Hello, $PATH"
("", 17)
Main> Bye for now!
