git.iko.soy/Idris-dev
on d3fa352 help sign in
Idris-dev/test/basic013/expected
57 lines 685 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[-2, 0, 2, 4]
21[1, 0, -1, -2]
22[3]
23[2]
24[4]
25[1]
26[]
27[]
28[]
29[]
30[1, 2, 3, 4, 5]
31[5, 4, 3, 2, 1]
32[5, 4, 3, 2, 1]
33[1, 3, 5]
34[5, 3, 1]
35[3]
36[2]
37[4]
38[1]
39[]
40[]
41[]
42[]
43[-1, -2, -3, -4, -5]
44[-2, 0, 2, 4]
45[1, 0, -1, -2]
46[3]
47[2]
48[4]
49[1]
50[]
51[]
52[]
53[]
54['z', 'y', 'x']
55['g', 'e', 'c', 'a']
56['x', 'y', 'z']
57['a', 'c', 'e', 'g']