Agda-2.3.2.2: src/prototyping/eval/Utils.hs

module Utils where

infixl 8 `on`

f `on` g = \x y -> f (g x) (g y)