git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/reg020/expected.out
7 lines 163 B history raw
1length of: '' is: 0
2length of: 'hello world!' is: 12
3length of: ' ' is: 1
4length of: ' ' is: 1
5length of: '
6' is: 1
7length of all matches sum of all lengths: True