Is the function that is called on in Haskell (https://hackage.haskell.org/package/base-4.12.0.0/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: Nov 11 2024 at 04:22 UTC