I have defined a function as such: ∇ Z ← foo X →(X=0)/zero Z ← 'not zero' → zero: Z ← 'zero' ∇
When calling this function with a non-zero argument, I expect the return value to be 'not zero'. Instead it simply exits the function. Is this correct behaviour? Regards, Elias