oalg-base-3.0.0.0: Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems.

Index - <

<OAlg.Data.Ord, OAlg.Prelude
<!>OAlg.Structure.Vectorial.Definition, OAlg.Structure.Vectorial
<&OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence
<*OAlg.Structure.Operational
<++>OAlg.Entity.FinList
<<=OAlg.Structure.PartiallyOrdered.Definition, OAlg.Structure.PartiallyOrdered
<= 
1 (Function)OAlg.Data.Ord, OAlg.Prelude
2 (Type/Class)OAlg.Data.TypeLits
<==>OAlg.Data.Singular
<=?OAlg.Data.TypeLits
<~>OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude