-- NON RESIDUATING COMPUTATIONS
:load General

0
2 + coin
2 + 3

-- Variables not implemented yet !!!
X=:=7 & X + 2=:=Y where X,Y free

-- FLOUNDERING COMPUTATIONS
-- Variables not implemented yet !!!
X + 20 where X free
20 + X where X free


-- RESIDUATING AND THEN COMPLETING COMPUTATIONS
-- Variables not implemented yet !!!
X + 2=:=4 & X=:=2 where X free
X + 2=:=Y & X=:=7 where X,Y free
X + 2=:=Y & Y + 2=:=Z & X=:=7 & Y=:=9 where X,Y,Z free

-- RESIDUATING AND THEN FLOUNDERING COMPUTATIONS
-- Variables not implemented yet !!!
X + 2=:=4 & Y=:= X + 7 where X,Y free
X + 2=:=Y & Y + 2=:=Z & Z=:=7 where X,Y,Z free

-- NON-DETERMINISTIC RESIDUATING COMPUTATIONS
-- Variables not implemented yet !!!
X + coin=:=Y & X=:=2 where X,Y free
X + 4=:=Y & X=:=coin where X,Y free
X + 0=:=coin & X=:=0 where X free
X + 0=:=coin & X=:=coin where X free