On 24 February 2015 at 15:30, Matt Oliveri <[email protected]> wrote: > > upcast1_1to2 f = \x y.(f x) y > downforce2to1_1 f = \x.\y.f x y
Why is that necessary? If this is true then you cannot go up or down, so there is not point in arty-abstract functions at all, as you cannot alter the arity without inserting lambdas. Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
