on 7afa310 help sign in
Idris-dev/test/io001/expected
16 lines 90 B history raw
1Reading testfile
2Hello!
3World!
4...
53
64
7Last line
9---
10Hello!
11World!
12...
15Last line
16---