git.iko.soy/Idris-dev
on cd87fcd help sign in
Idris-dev/test/basic013/expected
59 lines 699 B history raw
1λx→x
2λx→xλx→x
3x→xλx→xλ
44
5'\955'
6"\321"
7"\321"
8λx→xλx→xλx→xλx→xλx→x
9'\955'
1020
11'\955'
12λ
13Tail: x→xλx→xλx→xλx→xλx→x
14Tail Tail: →xλx→xλx→xλx→xλx→x
15Cons: λλx→xλx→xλx→xλx→xλx→x
16Reverse: x→xλx→xλx→xλx→xλx→xλ
17[1, 2, 3, 4, 5]
18[5, 4, 3, 2, 1]
19[-9, -7, -5, -3, -1]
20[17, 15, 13, 11, 9, 7, 5, 3, 1]
21[19, 15, 11, 7, 3]
22[-2, 0, 2, 4]
23[1, 0, -1, -2]
24[3]
25[2]
26[4]
27[1]
28[]
29[]
30[]
31[]
32[1, 2, 3, 4, 5]
33[5, 4, 3, 2, 1]
34[5, 4, 3, 2, 1]
35[1, 3, 5]
36[5, 3, 1]
37[3]
38[2]
39[4]
40[1]
41[]
42[]
43[]
44[]
45[-1, -2, -3, -4, -5]
46[-2, 0, 2, 4]
47[1, 0, -1, -2]
48[3]
49[2]
50[4]
51[1]
52[]
53[]
54[]
55[]
56['z', 'y', 'x']
57['g', 'e', 'c', 'a']
58['x', 'y', 'z']
59['a', 'c', 'e', 'g']