on master help sign in
Idris-dev/test/basic020/expected.out
1 line 3 B history raw
1OK