Binary Lambda Calculus [1] (produces an infinite list of booleans instead): λ(λ1 (1((λ1 1)(λλλ1(λλ1)((λ4 4 1((λ1 1)(λ2(1 1))))(λλλλ1 3(2(6 4)))))(λλλ4(1 3)

Binary Lambda Calculus [1] (produces an infinite list of booleans instead): λ(λ1 (1((λ1 1)(λλλ1(λλ1)((λ4 4 1((λ1 1)(λ2(1 1))))(λλλλ1 3(2(6 4)))))(λλλ4(1 3)))))(λλ1(λλ2)2) [1] https://tromp.github.io/cl/cl.html https://tromp.github.io/cl/cl.html