git.iko.soy/Idris-dev
on eac558e help sign in
Idris-dev/test/basic013/expected
23 lines 443 B history raw
1λx→x
2λx→xλx→x
3x→xλx→xλ
44
5'\955'
6λx→xλx→xλx→xλx→xλx→x
7'\955'
820
9'\955'
10λ
11Tail: x→xλx→xλx→xλx→xλx→x
12Tail Tail: →xλx→xλx→xλx→xλx→x
13Cons: λλx→xλx→xλx→xλx→xλx→x
14Reverse: x→xλx→xλx→xλx→xλx→xλ
15[1, 2, 3, 4, 5]
16[5, 4, 3, 2, 1]
17[-9, -7, -5, -3, -1]
18[17, 15, 13, 11, 9, 7, 5, 3, 1]
19[19, 15, 11, 7, 3]
20[1, 2, 3, 4, 5]
21[5, 4, 3, 2, 1]
22[-1, -2, -3, -4, -5]
23[1, 3, 5]