Re: [isabelle] Equivalent of Haskell’s `flip` function

On 13/10/2019 20:12, Wolfgang Jeltsch wrote:
> Is there a function in the Isabelle standard library that swaps the
> arguments of a binary function, that is, a function `flip` that is
> essentially defined as `flip f y x ≡ f x y`?

Maybe you mean the Isabelle/HOL library. Concerning Isabelle/ML there is
no such function, because almost everything is in "canonical argument
order" according to section 0.3 of the "implementation" manual. The
explanations apply to other functional languages and logics. Hopefully
more people learn about it and thus simplify their live.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.