Soluzione

> delta := ( i , j ) -> if i = j then 1 else 0 end if ;

Non spaventi il fatto che nell'output della definizione di delta comparsa la parola proc. In effetti -> una forma abbreviata della pi complessa e versatile istruzione proc .

> delta(1,2);

> delta(Pi,Pi);

>