on master help sign in
Idris-dev/test/basic008/expected.out
1 line 7 B history raw
1Just 2