j
k
j a
j l
inc x y = x + y; five = inc (x := 3) 2;)
In fact in our case. for this to work the type annotation needs to be
inc: (x : Int) => Int -> Int;
Is this want we want ? The information seems quite redundant.
Pièces jointes :
Retour au fil de discussion
Retour à la liste