git.iko.soy/Idris-dev
on cf47310 help sign in
Idris-dev/test/basic013/expected
14 lines 276 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λ