kalker/tests/redefining.kalker

7 lines
95 B
Plaintext

x = 2
x = 3
f(x, y, z) = x * y = z
f(x, 2, 6)
f(x, y, z) = 2 * x * y = z
f(2, 3, 12) and x = 3