On 3/3/12 9:15 PM, wren ng thornton wrote:
In the extension to lambda calculus I presented at NASSLLI a couple years back[1] it is indeed semantics-preserving. In that context I named it chi, because it's a chiastic transformation.
In combinator calculi the name of `flip` is C, which gives an additional reason for that name (though that argument works better for gamma).
-- Live well, ~wren _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe