1/1: Building Lines (Lines.idr)
Main> []
["ab"]
["ab"]
["ab", "cd"]
["ab", "cd"]
["a", "b"]
["a", "b"]
["", "", ""]
Main> Bye for now!
