Is the function that is called on in Haskell (https://hackage.haskell.org/package/base-184.108.40.206/docs/Data-Function.html#v:on) defined somewhere in the distribution?
I doubt it
val on = fn f => fn u => uncurry f oo (apply2 u oo pair), but I don't think it's in the library either.
Sorry, I meant in HOL ;)
Last updated: Dec 07 2023 at 08:19 UTC