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);

>