-
- Downloads
Fix argument conversion to parameter values for compound types
Now the following code is valid `` let f : N -> N*N, i -> (i+1, 2*i); let g : N*N -> N, (i,j) -> (i+1)*(j+1); N i = g(f(2)); `` `i` will contain the value `20` as expected
Please register or sign in to comment