Noether.Algebra.Inference

Documentation

data Synergise a

type Infer t a h = Synergise (Nub (Sort (Infer_ t a h)))

data Prim

data DerivedFrom a

type family Strategy (t :: k) (a :: Type) (hint :: Symbol) :: Type