noether-0.0.1: Math in Haskell.
Noether.Lemmata.TypeFu
type ($$>) a b p q r = a p q r (b p q r) infixl 7 Source #