algebra-2.0.2: Constructive abstract algebra

Numeric.Algebra.Incidence

Documentation

data Interval a Source

Constructors

Interval a a 

zeta :: Unital r => Interval a -> rSource