Lukas Stevens (Mar 23 2020 at 15:04): Lukas Stevens (Mar 23 2020 at 15:04):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?
Manuel Eberl (Mar 23 2020 at 15:14):I doubt it
Josh Chen (Mar 23 2020 at 15:29):val on = fn f => fn u => uncurry f oo (apply2 u oo pair), but I don't think it's in the library either.
Lukas Stevens (Mar 23 2020 at 15:29):Sorry, I meant in HOL ;)
Last updated: Dec 21 2024 at 12:33 UTC