git.iko.soy/Idris-dev
on 20ffcfd help sign in
Idris-dev/test/test003/expected
7 lines 118 B history raw
1./test003a.lidr:1:0:Program line next to comment
2'a'
3'd'
4zabcdefg
5gfedcba
6['g', 'f', 'e', 'd', 'c', 'b', 'a']
7abcdefg