
global.delta := (λ x. run x x) ;

run global.delta global.delta

