git.iko.soy/Idris-dev
on cd87fcd help sign in
Idris-dev/test/basic019/expected
12 lines 396 B history raw
1[1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
2[10, 9, 8, 7, 6, 5, 4, 3, 2, 1]
3[1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
4[1, 3, 5, 7, 9, 11, 13, 15, 17, 19]
5[1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
6[10, 9, 8, 7, 6, 5, 4, 3, 2, 1]
7[1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
8[1, 3, 5, 7, 9, 11, 13, 15, 17, 19]
9[1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
10[10, 9, 8, 7, 6, 5, 4, 3, 2, 1]
11[1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
12[1, 3, 5, 7, 9, 11, 13, 15, 17, 19]