packages feed

idris-1.3.3: test/reg020/expected.out

length of: '' is: 0
length of: 'hello world!' is: 12
length of: ' ' is: 1
length of: '	' is: 1
length of: '
' is: 1
length of all matches sum of all lengths: True