1/1: Building ReadFilePage (ReadFilePage.idr)
Main> empty: []
one

two
three lines in

one
two
three lines in
four
five lines total

one
two
three lines in
four
five lines total

three lines in
four
five lines total

empty: []
one
two
three lines in
four
five lines total

Main> Bye for now!
Main> empty: []
one

two
three lines in

one
two
three lines in
four
five lines total

one
two
three lines in
four
five lines total

three lines in
four
five lines total

empty: []
one
two
three lines in
four
five lines total

Main> Bye for now!
