Index - L
| L | Data.Type.Disjunction |
| L' | Data.Type.Disjunction |
| Last | Type.Family.List |
| Last' | Type.Family.List |
| last' | Data.Type.Product |
| lastCong | Type.Family.List |
| lastF | Data.Type.Product.Lifted |
| LastM | Type.Family.List |
| leftCong | Type.Family.Either |
| leftNotRight | Type.Family.Either |
| Len | Type.Family.Nat |
| lenCong | Type.Family.Nat |
| Length | Data.Type.Length |
| LessEq | Data.Type.Fin.Indexed |
| lEven | Data.Type.Length |
| LiftI | Data.Type.Index.Trans |
| liftIFin | Data.Type.Fin.Indexed |
| ListC | Type.Family.List |
| listMapCong | Type.Family.List |
| LL | |
| 1 (Type/Class) | Data.Type.Combinator |
| 2 (Data Constructor) | Data.Type.Combinator |
| lOdd | Data.Type.Length |
| Lookup | Data.Type.Product.Env |
| lookup' | Data.Type.Product.Env |
| lookupPar | Data.Type.Product |
| LS | Data.Type.Length |
| LTC | Data.Type.Fin.Indexed |
| LTS | Data.Type.Nat.Inequality |
| LTZ | Data.Type.Nat.Inequality |
| LZ | Data.Type.Length |