On Wed, Jun 28, 2017 at 06:02:03PM +0800, Elias Mårtenson wrote: > 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?
I think this is correct, it's returning an escape. You probably wanted to do →0 instead of →. -k
