| L | OAlg.Data.Symbol |
| Label | |
| 1 (Type/Class) | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Lattice | OAlg.Structure.Lattice.Definition, OAlg.Structure.Lattice |
| Lazy | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| lcAggr | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| lcs | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| lcSclFilter | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| lcsmf | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| lcSort | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| LDst | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| LDstRoot | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| Leaf | OAlg.Data.Tree |
| Left | OAlg.Data.Either |
| Left1 | OAlg.Data.Either |
| Left2 | OAlg.Data.Either |
| LeftSide | OAlg.Data.Dualisable, OAlg.Prelude |
| LeftToRight | OAlg.Data.Dualisable, OAlg.Prelude |
| lemma1 | OAlg.Entity.Natural |
| lemmaAdd1 | OAlg.Entity.Natural |
| lemmaAdd2 | OAlg.Entity.Natural |
| lemmaMlt1 | OAlg.Entity.Natural |
| LengthN | OAlg.Data.Number, OAlg.Prelude |
| lengthN | OAlg.Data.Number, OAlg.Prelude |
| lftbBase | OAlg.Entity.Slice.Liftable |
| lftcLiftable | OAlg.Entity.Slice.Liftable |
| lftcMapCnt | OAlg.Entity.Slice.Liftable |
| lftcMapCov | OAlg.Entity.Slice.Liftable |
| lftcMapS | OAlg.Entity.Slice.Liftable |
| lftFrMapSDst | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| lftFrMapSMlt | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| lftlCokernel | OAlg.Entity.Slice.Liftable |
| lftlKernel | OAlg.Entity.Slice.Liftable |
| lftMapCnt | OAlg.Entity.Slice.Liftable |
| lftMapCov | OAlg.Entity.Slice.Liftable |
| lftMapS | OAlg.Entity.Slice.Liftable |
| lift | OAlg.Entity.Slice.Liftable |
| Liftable | OAlg.Entity.Slice.Liftable |
| LiftableCokernel | OAlg.Entity.Slice.Liftable |
| LiftableCokernelCone | OAlg.Entity.Slice.Liftable |
| LiftableCokernels | OAlg.Entity.Slice.Liftable |
| LiftableCone | OAlg.Entity.Slice.Liftable |
| LiftableException | OAlg.Entity.Slice.Liftable |
| LiftableFree | |
| 1 (Type/Class) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| LiftableInjective | OAlg.Entity.Slice.Liftable |
| LiftableKernel | OAlg.Entity.Slice.Liftable |
| LiftableKernelCone | OAlg.Entity.Slice.Liftable |
| LiftableKernels | OAlg.Entity.Slice.Liftable |
| LiftableProjective | OAlg.Entity.Slice.Liftable |
| liftFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| Limes | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| limes | OAlg.Limes.Limits.Core, OAlg.Limes.Limits |
| limesCone | OAlg.Limes.Limits.Core, OAlg.Limes.Limits |
| LimesG | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| LimesInjective | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| LimesProjective | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| LimesSlicedTip | |
| 1 (Type/Class) | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| Limits | OAlg.Limes.Limits.Core, OAlg.Limes.Limits |
| limitsCone | OAlg.Limes.Limits.Core, OAlg.Limes.Limits |
| LimitsG | |
| 1 (Type/Class) | OAlg.Limes.Limits.Core, OAlg.Limes.Limits |
| 2 (Data Constructor) | OAlg.Limes.Limits.Core, OAlg.Limes.Limits |
| LinearCombination | |
| 1 (Type/Class) | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| 2 (Data Constructor) | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| list | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| listN | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| listToMaybe | OAlg.Data.Maybe, OAlg.Prelude |
| lmDiagramTypeRefl | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| lmInjMap | OAlg.Adjunction.Limes, OAlg.Adjunction |
| lmInjMapDst | OAlg.Adjunction.Limes, OAlg.Adjunction |
| lmMapCnt | OAlg.Limes.Definition.Duality, OAlg.Limes.Definition |
| lmMapCov | OAlg.Limes.Definition.Duality, OAlg.Limes.Definition |
| lmMapS | OAlg.Limes.Definition.Duality, OAlg.Limes.Definition |
| lmMltInjOrnt | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| lmMltPrjOrnt | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| lmPrjMap | OAlg.Adjunction.Limes, OAlg.Adjunction |
| lmPrjMapDst | OAlg.Adjunction.Limes, OAlg.Adjunction |
| lmsMapCnt | OAlg.Limes.Limits.Duality, OAlg.Limes.Limits |
| lmsMapCov | OAlg.Limes.Limits.Duality, OAlg.Limes.Limits |
| lmsMapS | OAlg.Limes.Limits.Duality, OAlg.Limes.Limits |
| lmsMltInjOrnt | OAlg.Limes.Limits.Core, OAlg.Limes.Limits |
| lmsMltPrjOrnt | OAlg.Limes.Limits.Core, OAlg.Limes.Limits |
| Log2 | OAlg.Data.TypeLits |
| Logical | OAlg.Data.Logical, OAlg.Prelude |
| Low | OAlg.Control.Verbose |
| lstLimes | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| LT | OAlg.Data.Ord, OAlg.Prelude |
| LTI | OAlg.Data.TypeLits |