on master help sign in
Idris-dev/test/ffi008/expected.out
5 lines 32 B history raw
1True
2True
3a: 122 b: 0
44
500000010