Directory listing for oalg-base-1.1.4.0 documentation
oalg-base-1.1.4.0-docs/
- OAlg-Adjunction-Definition.html
- OAlg-Adjunction-Limes.html
- OAlg-Adjunction.html
- OAlg-Category-Applicative.html
- OAlg-Category-Definition.html
- OAlg-Category-Path.html
- OAlg-Category-Proposition.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-Generator.html
- OAlg-Data-Identity.html
- OAlg-Data-Maybe.html
- OAlg-Data-Number.html
- OAlg-Data-Opposite.html
- OAlg-Data-Ord.html
- OAlg-Data-Reducible.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-X.html
- OAlg-Entity-Definition.html
- OAlg-Entity-Diagram-Definition.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-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.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-Multiplicative-Definition.html
- OAlg-Hom-Multiplicative-Proposition.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-Definition.html
- OAlg-Limes-Cone-EligibleFactor.html
- OAlg-Limes-Cone.html
- OAlg-Limes-Definition.html
- OAlg-Limes-EqualizersAndCoequalizers.html
- OAlg-Limes-KernelsAndCokernels.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.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-Proposition.html
- OAlg-Structure-Oriented.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.Path.html
- OAlg.Category.Proposition.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.Generator.html
- OAlg.Data.Identity.html
- OAlg.Data.Maybe.html
- OAlg.Data.Number.html
- OAlg.Data.Opposite.html
- OAlg.Data.Ord.html
- OAlg.Data.Reducible.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.X.html
- OAlg.Entity.Definition.html
- OAlg.Entity.Diagram.Definition.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.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.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.Multiplicative.Definition.html
- OAlg.Hom.Multiplicative.Proposition.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.Definition.html
- OAlg.Limes.Cone.EligibleFactor.html
- OAlg.Limes.Cone.html
- OAlg.Limes.Definition.html
- OAlg.Limes.EqualizersAndCoequalizers.html
- OAlg.Limes.KernelsAndCokernels.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.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.Proposition.html
- OAlg.Structure.Oriented.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
