git.iko.soy/Idris-dev
on a675cdb help sign in
Idris-dev/test/st002/expected
8 lines 218 B history raw
1# test002:
2--test IO:
3['H', 'E', 'L', 'L', 'O', '!', '!', '\n', 'W', 'O', 'R', 'L', 'D', '!', '!', '\NUL']
416
5--test IOExcept:
6['H', 'E', 'L', 'L', 'O', '!', '!', '\n', 'W', 'O', 'R', 'L', 'D', '!', '!', '\NUL']
716
8()