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