on 7afa310 help sign in
Idris-dev/test/io003/expected
15 lines 153 B history raw
1Sending
2Hello!
3Received
4Hello to you too!
5Finished
6Sending
7Hello!
8Received
9Hello to you too!
10Finished
11Sending
12Hello!
13Received
14Hello to you too!
15Finished