z = x -> (y -> z)
]]>
z = x => (y => z)
]]>
y = x => (x => y)
]]>
def)")
]]>
(x => y) = x -> y
]]>
x = 1
]]>
(y => z) = y => (x => z)
]]>
y) ^ (x => z) = x => (y ^ z)
]]>
y)) v y = y
]]>
y) ^ y = y
]]>
(y => z) = y => (x -> z)
]]>
((y v x) -> z) = x -> z
]]>
c3 != c1 -> (c2 -> c3)
]]>
(x => (y => z)) = (x * y) -> z
]]>
(y => (x => z)) = y => (x -> z)
]]>
(x ^ y) = 1 ^ (x => y)
]]>
(y -> (x => z)) = y -> (x -> z)
]]>
((x v y) -> z) = x -> z
]]>
x) = y => x
]]>
(x ^ y) = x => y
]]>
((y => x) -> z) = x -> z
]]>
(x => (y -> z)) = y -> (x -> z)
]]>
(y -> z) = y -> (x -> z)
]]>
(y -> z) = y -> z
]]>
(x -> z) = x -> z
]]>
((x ^ y) -> z) = (x ^ y) -> z
]]>
((y * (y => x)) -> z) = (y * (y => x)) -> z
]]>
(y => (x => (y => z))) = (x * y) -> z
]]>
(x => (y -> z)) = (x * y) -> z
]]>
z = x -> (y -> z)
]]>
(y -> ((y => x) -> z)) = (y * (y => x)) -> z
]]>
(y -> ((x => y) -> z)) = (x * (x => y)) -> z
]]>
y)) -> z = x -> (y -> z)
]]>
((x => y) -> z) = x -> (y -> z)
]]>
((x => y) -> z) = x -> ((x ^ y) -> z)
]]>
((x ^ y) -> z) = x -> (y -> z)
]]>
z = x -> (y -> z)
]]>