Directory listing for oalg-base-3.0.0.0 documentation
oalg-base-3.0.0.0-docs/
- OAlg-Adjunction-Definition.html
- OAlg-Adjunction-Limes.html
- OAlg-Adjunction.html
- OAlg-Category-Applicative.html
- OAlg-Category-Definition.html
- OAlg-Category-Dualisable.html
- OAlg-Category-Map.html
- OAlg-Category-NaturalTransformable.html
- OAlg-Category-Path.html
- OAlg-Category-Proposition.html
- OAlg-Category-SDuality.html
- OAlg-Category-Unify.html
- OAlg-Control-Action.html
- OAlg-Control-Exception.html
- OAlg-Control-HNFData.html
- OAlg-Control-Solver.html
- OAlg-Control-Validate.html
- OAlg-Control-Verbose.html
- OAlg-Data-Boolean-Definition.html
- OAlg-Data-Boolean-Proposition.html
- OAlg-Data-Boolean.html
- OAlg-Data-Canonical.html
- OAlg-Data-Constructable.html
- OAlg-Data-Dualisable.html
- OAlg-Data-Either.html
- OAlg-Data-Equal.html
- OAlg-Data-EqualExtensional.html
- OAlg-Data-Filterable.html
- OAlg-Data-FinitelyPresentable.html
- OAlg-Data-HomCo.html
- OAlg-Data-Identity.html
- OAlg-Data-Logical.html
- OAlg-Data-Maybe.html
- OAlg-Data-Number.html
- OAlg-Data-Ord.html
- OAlg-Data-Ornt.html
- OAlg-Data-Proxy.html
- OAlg-Data-Reducible.html
- OAlg-Data-Relation.html
- OAlg-Data-Show.html
- OAlg-Data-Singleton.html
- OAlg-Data-Singular.html
- OAlg-Data-Statement-Definition.html
- OAlg-Data-Statement-Proposition.html
- OAlg-Data-Statement.html
- OAlg-Data-Statistics.html
- OAlg-Data-Symbol.html
- OAlg-Data-Tree.html
- OAlg-Data-TypeLits.html
- OAlg-Data-Validable.html
- OAlg-Data-Variant.html
- OAlg-Data-X.html
- OAlg-Entity-Definition.html
- OAlg-Entity-Diagram-Definition.html
- OAlg-Entity-Diagram-Diagrammatic.html
- OAlg-Entity-Diagram-Proposition.html
- OAlg-Entity-Diagram-Quiver.html
- OAlg-Entity-Diagram-Transformation.html
- OAlg-Entity-Diagram.html
- OAlg-Entity-FinList.html
- OAlg-Entity-Matrix-Definition.html
- OAlg-Entity-Matrix-Dim.html
- OAlg-Entity-Matrix-Entries.html
- OAlg-Entity-Matrix-GeneralLinearGroup.html
- OAlg-Entity-Matrix-ProductsAndSums.html
- OAlg-Entity-Matrix-Proposition.html
- OAlg-Entity-Matrix-Transformation.html
- OAlg-Entity-Matrix-Vector.html
- OAlg-Entity-Matrix.html
- OAlg-Entity-Natural.html
- OAlg-Entity-Product-Definition.html
- OAlg-Entity-Product-ProductSymbol.html
- OAlg-Entity-Product-Proposition.html
- OAlg-Entity-Product.html
- OAlg-Entity-Sequence-CSequence.html
- OAlg-Entity-Sequence-Definition.html
- OAlg-Entity-Sequence-FSequence.html
- OAlg-Entity-Sequence-Graph.html
- OAlg-Entity-Sequence-PSequence.html
- OAlg-Entity-Sequence-Permutation.html
- OAlg-Entity-Sequence-Set.html
- OAlg-Entity-Sequence.html
- OAlg-Entity-Slice-Adjunction.html
- OAlg-Entity-Slice-Definition.html
- OAlg-Entity-Slice-Free.html
- OAlg-Entity-Slice-Liftable.html
- OAlg-Entity-Slice-Sliced.html
- OAlg-Entity-Slice.html
- OAlg-Entity-Sum-Definition.html
- OAlg-Entity-Sum-SumSymbol.html
- OAlg-Entity-Sum.html
- OAlg-Hom-Additive.html
- OAlg-Hom-Algebraic.html
- OAlg-Hom-Definition.html
- OAlg-Hom-Distributive.html
- OAlg-Hom-Fibred.html
- OAlg-Hom-FibredOriented.html
- OAlg-Hom-Multiplicative.html
- OAlg-Hom-Oriented-Definition.html
- OAlg-Hom-Oriented-Proposition.html
- OAlg-Hom-Oriented.html
- OAlg-Hom-Proposition.html
- OAlg-Hom-Vectorial.html
- OAlg-Hom.html
- OAlg-Limes-Cone-Conic-Core.html
- OAlg-Limes-Cone-Conic-Duality.html
- OAlg-Limes-Cone-Conic.html
- OAlg-Limes-Cone-Core.html
- OAlg-Limes-Cone-Definition.html
- OAlg-Limes-Cone-Duality.html
- OAlg-Limes-Cone-FactorChain.html
- OAlg-Limes-Cone-Structure.html
- OAlg-Limes-Cone-ZeroHead-Core.html
- OAlg-Limes-Cone-ZeroHead-Duality.html
- OAlg-Limes-Cone-ZeroHead.html
- OAlg-Limes-Cone.html
- OAlg-Limes-Definition-Core.html
- OAlg-Limes-Definition-Duality.html
- OAlg-Limes-Definition-Proposition.html
- OAlg-Limes-Definition.html
- OAlg-Limes-EqualizersAndCoequalizers.html
- OAlg-Limes-Exact-ConsecutiveZero.html
- OAlg-Limes-Exact-Deviation.html
- OAlg-Limes-Exact-Free.html
- OAlg-Limes-Exact-ZeroPoint.html
- OAlg-Limes-KernelsAndCokernels.html
- OAlg-Limes-Limits-Core.html
- OAlg-Limes-Limits-Duality.html
- OAlg-Limes-Limits-Proposition.html
- OAlg-Limes-Limits.html
- OAlg-Limes-MinimaAndMaxima.html
- OAlg-Limes-Perspective.html
- OAlg-Limes-ProductsAndSums.html
- OAlg-Limes-Proposition.html
- OAlg-Limes-PullbacksAndPushouts.html
- OAlg-Limes-TerminalAndInitialPoint.html
- OAlg-Prelude.html
- OAlg-Proposition.html
- OAlg-Structure-Additive-Definition.html
- OAlg-Structure-Additive-Proposition.html
- OAlg-Structure-Additive.html
- OAlg-Structure-Algebraic-Definition.html
- OAlg-Structure-Algebraic-Proposition.html
- OAlg-Structure-Algebraic.html
- OAlg-Structure-Definition.html
- OAlg-Structure-Distributive-Definition.html
- OAlg-Structure-Distributive-Proposition.html
- OAlg-Structure-Distributive.html
- OAlg-Structure-Exception.html
- OAlg-Structure-Exponential.html
- OAlg-Structure-Fibred-Definition.html
- OAlg-Structure-Fibred-Proposition.html
- OAlg-Structure-Fibred-Root.html
- OAlg-Structure-Fibred.html
- OAlg-Structure-FibredOriented.html
- OAlg-Structure-Lattice-Definition.html
- OAlg-Structure-Lattice-Proposition.html
- OAlg-Structure-Lattice.html
- OAlg-Structure-Multiplicative-Definition.html
- OAlg-Structure-Multiplicative-Proposition.html
- OAlg-Structure-Multiplicative.html
- OAlg-Structure-Number-Definition.html
- OAlg-Structure-Number.html
- OAlg-Structure-Operational.html
- OAlg-Structure-Oriented-Definition.html
- OAlg-Structure-Oriented-Opposite.html
- OAlg-Structure-Oriented-Orientation.html
- OAlg-Structure-Oriented-Path.html
- OAlg-Structure-Oriented-Point.html
- OAlg-Structure-Oriented-Proposition.html
- OAlg-Structure-Oriented-X.html
- OAlg-Structure-Oriented.html
- OAlg-Structure-PartiallyOrdered-Definition.html
- OAlg-Structure-PartiallyOrdered-Proposition.html
- OAlg-Structure-PartiallyOrdered.html
- OAlg-Structure-Proposition.html
- OAlg-Structure-Ring-Definition.html
- OAlg-Structure-Ring.html
- OAlg-Structure-Vectorial-Definition.html
- OAlg-Structure-Vectorial-Proposition.html
- OAlg-Structure-Vectorial.html
- doc-index-124.html
- doc-index-126.html
- doc-index-33.html
- doc-index-36.html
- doc-index-37.html
- doc-index-38.html
- doc-index-42.html
- doc-index-43.html
- doc-index-45.html
- doc-index-46.html
- doc-index-47.html
- doc-index-58.html
- doc-index-60.html
- doc-index-61.html
- doc-index-62.html
- doc-index-63.html
- doc-index-94.html
- doc-index-A.html
- doc-index-All.html
- doc-index-B.html
- doc-index-C.html
- doc-index-D.html
- doc-index-E.html
- doc-index-F.html
- doc-index-G.html
- doc-index-H.html
- doc-index-I.html
- doc-index-J.html
- doc-index-K.html
- doc-index-L.html
- doc-index-M.html
- doc-index-N.html
- doc-index-O.html
- doc-index-P.html
- doc-index-Q.html
- doc-index-R.html
- doc-index-S.html
- doc-index-T.html
- doc-index-U.html
- doc-index-V.html
- doc-index-W.html
- doc-index-X.html
- doc-index-Y.html
- doc-index-Z.html
- doc-index.html
- doc-index.json
- haddock-bundle.min.js
- linuwial.css
- meta.json
- oalg-base.haddock
- oalg-base.txt
- quick-jump.css
- quick-jump.min.js
- synopsis.png
- src/
- OAlg.Adjunction.Definition.html
- OAlg.Adjunction.Limes.html
- OAlg.Adjunction.html
- OAlg.Category.Applicative.html
- OAlg.Category.Definition.html
- OAlg.Category.Dualisable.html
- OAlg.Category.Map.html
- OAlg.Category.NaturalTransformable.html
- OAlg.Category.Path.html
- OAlg.Category.Proposition.html
- OAlg.Category.SDuality.html
- OAlg.Category.Unify.html
- OAlg.Control.Action.html
- OAlg.Control.Exception.html
- OAlg.Control.HNFData.html
- OAlg.Control.Solver.html
- OAlg.Control.Validate.html
- OAlg.Control.Verbose.html
- OAlg.Data.Boolean.Definition.html
- OAlg.Data.Boolean.Proposition.html
- OAlg.Data.Boolean.html
- OAlg.Data.Canonical.html
- OAlg.Data.Constructable.html
- OAlg.Data.Dualisable.html
- OAlg.Data.Either.html
- OAlg.Data.Equal.html
- OAlg.Data.EqualExtensional.html
- OAlg.Data.Filterable.html
- OAlg.Data.FinitelyPresentable.html
- OAlg.Data.HomCo.html
- OAlg.Data.Identity.html
- OAlg.Data.Logical.html
- OAlg.Data.Maybe.html
- OAlg.Data.Number.html
- OAlg.Data.Ord.html
- OAlg.Data.Ornt.html
- OAlg.Data.Proxy.html
- OAlg.Data.Reducible.html
- OAlg.Data.Relation.html
- OAlg.Data.Show.html
- OAlg.Data.Singleton.html
- OAlg.Data.Singular.html
- OAlg.Data.Statement.Definition.html
- OAlg.Data.Statement.Proposition.html
- OAlg.Data.Statement.html
- OAlg.Data.Statistics.html
- OAlg.Data.Symbol.html
- OAlg.Data.Tree.html
- OAlg.Data.TypeLits.html
- OAlg.Data.Validable.html
- OAlg.Data.Variant.html
- OAlg.Data.X.html
- OAlg.Entity.Definition.html
- OAlg.Entity.Diagram.Definition.html
- OAlg.Entity.Diagram.Diagrammatic.html
- OAlg.Entity.Diagram.Proposition.html
- OAlg.Entity.Diagram.Quiver.html
- OAlg.Entity.Diagram.Transformation.html
- OAlg.Entity.Diagram.html
- OAlg.Entity.FinList.html
- OAlg.Entity.Matrix.Definition.html
- OAlg.Entity.Matrix.Dim.html
- OAlg.Entity.Matrix.Entries.html
- OAlg.Entity.Matrix.GeneralLinearGroup.html
- OAlg.Entity.Matrix.ProductsAndSums.html
- OAlg.Entity.Matrix.Proposition.html
- OAlg.Entity.Matrix.Transformation.html
- OAlg.Entity.Matrix.Vector.html
- OAlg.Entity.Matrix.html
- OAlg.Entity.Natural.html
- OAlg.Entity.Product.Definition.html
- OAlg.Entity.Product.ProductSymbol.html
- OAlg.Entity.Product.Proposition.html
- OAlg.Entity.Product.html
- OAlg.Entity.Sequence.CSequence.html
- OAlg.Entity.Sequence.Definition.html
- OAlg.Entity.Sequence.FSequence.html
- OAlg.Entity.Sequence.Graph.html
- OAlg.Entity.Sequence.PSequence.html
- OAlg.Entity.Sequence.Permutation.html
- OAlg.Entity.Sequence.Set.html
- OAlg.Entity.Sequence.html
- OAlg.Entity.Slice.Adjunction.html
- OAlg.Entity.Slice.Definition.html
- OAlg.Entity.Slice.Free.html
- OAlg.Entity.Slice.Liftable.html
- OAlg.Entity.Slice.Sliced.html
- OAlg.Entity.Slice.html
- OAlg.Entity.Sum.Definition.html
- OAlg.Entity.Sum.SumSymbol.html
- OAlg.Entity.Sum.html
- OAlg.Hom.Additive.html
- OAlg.Hom.Algebraic.html
- OAlg.Hom.Definition.html
- OAlg.Hom.Distributive.html
- OAlg.Hom.Fibred.html
- OAlg.Hom.FibredOriented.html
- OAlg.Hom.Multiplicative.html
- OAlg.Hom.Oriented.Definition.html
- OAlg.Hom.Oriented.Proposition.html
- OAlg.Hom.Oriented.html
- OAlg.Hom.Proposition.html
- OAlg.Hom.Vectorial.html
- OAlg.Hom.html
- OAlg.Limes.Cone.Conic.Core.html
- OAlg.Limes.Cone.Conic.Duality.html
- OAlg.Limes.Cone.Conic.html
- OAlg.Limes.Cone.Core.html
- OAlg.Limes.Cone.Definition.html
- OAlg.Limes.Cone.Duality.html
- OAlg.Limes.Cone.FactorChain.html
- OAlg.Limes.Cone.Structure.html
- OAlg.Limes.Cone.ZeroHead.Core.html
- OAlg.Limes.Cone.ZeroHead.Duality.html
- OAlg.Limes.Cone.ZeroHead.html
- OAlg.Limes.Cone.html
- OAlg.Limes.Definition.Core.html
- OAlg.Limes.Definition.Duality.html
- OAlg.Limes.Definition.Proposition.html
- OAlg.Limes.Definition.html
- OAlg.Limes.EqualizersAndCoequalizers.html
- OAlg.Limes.Exact.ConsecutiveZero.html
- OAlg.Limes.Exact.Deviation.html
- OAlg.Limes.Exact.Free.html
- OAlg.Limes.Exact.ZeroPoint.html
- OAlg.Limes.KernelsAndCokernels.html
- OAlg.Limes.Limits.Core.html
- OAlg.Limes.Limits.Duality.html
- OAlg.Limes.Limits.Proposition.html
- OAlg.Limes.Limits.html
- OAlg.Limes.MinimaAndMaxima.html
- OAlg.Limes.Perspective.html
- OAlg.Limes.ProductsAndSums.html
- OAlg.Limes.Proposition.html
- OAlg.Limes.PullbacksAndPushouts.html
- OAlg.Limes.TerminalAndInitialPoint.html
- OAlg.Prelude.html
- OAlg.Proposition.html
- OAlg.Structure.Additive.Definition.html
- OAlg.Structure.Additive.Proposition.html
- OAlg.Structure.Additive.html
- OAlg.Structure.Algebraic.Definition.html
- OAlg.Structure.Algebraic.Proposition.html
- OAlg.Structure.Algebraic.html
- OAlg.Structure.Definition.html
- OAlg.Structure.Distributive.Definition.html
- OAlg.Structure.Distributive.Proposition.html
- OAlg.Structure.Distributive.html
- OAlg.Structure.Exception.html
- OAlg.Structure.Exponential.html
- OAlg.Structure.Fibred.Definition.html
- OAlg.Structure.Fibred.Proposition.html
- OAlg.Structure.Fibred.Root.html
- OAlg.Structure.Fibred.html
- OAlg.Structure.FibredOriented.html
- OAlg.Structure.Lattice.Definition.html
- OAlg.Structure.Lattice.Proposition.html
- OAlg.Structure.Lattice.html
- OAlg.Structure.Multiplicative.Definition.html
- OAlg.Structure.Multiplicative.Proposition.html
- OAlg.Structure.Multiplicative.html
- OAlg.Structure.Number.Definition.html
- OAlg.Structure.Number.html
- OAlg.Structure.Operational.html
- OAlg.Structure.Oriented.Definition.html
- OAlg.Structure.Oriented.Opposite.html
- OAlg.Structure.Oriented.Orientation.html
- OAlg.Structure.Oriented.Path.html
- OAlg.Structure.Oriented.Point.html
- OAlg.Structure.Oriented.Proposition.html
- OAlg.Structure.Oriented.X.html
- OAlg.Structure.Oriented.html
- OAlg.Structure.PartiallyOrdered.Definition.html
- OAlg.Structure.PartiallyOrdered.Proposition.html
- OAlg.Structure.PartiallyOrdered.html
- OAlg.Structure.Proposition.html
- OAlg.Structure.Ring.Definition.html
- OAlg.Structure.Ring.html
- OAlg.Structure.Vectorial.Definition.html
- OAlg.Structure.Vectorial.Proposition.html
- OAlg.Structure.Vectorial.html
- Paths_oalg_base.html
- highlight.js
- style.css