Index - L
| Label | |
| 1 (Data Constructor) | Language.PiSigma.Syntax |
| 2 (Type/Class) | Language.PiSigma.Syntax |
| label | Language.PiSigma.Syntax |
| Lam | Language.PiSigma.Syntax |
| lam | Language.PiSigma.Syntax |
| length | Language.PiSigma.Pretty |
| Let | Language.PiSigma.Syntax |
| letn | Language.PiSigma.Evaluate |
| letn' | Language.PiSigma.Evaluate |
| lexeme | Language.PiSigma.Lexer |
| Lift | Language.PiSigma.Syntax |
| Line | Language.PiSigma.Pretty |
| line | |
| 1 (Function) | Language.PiSigma.Pretty |
| 2 (Function) | Language.PiSigma.Syntax |
| lineBreak | Language.PiSigma.Pretty |
| lines | Language.PiSigma.Util.String.Parser |
| list | Language.PiSigma.Pretty |
| Loc | |
| 1 (Type/Class) | Language.PiSigma.Syntax |
| 2 (Data Constructor) | Language.PiSigma.Syntax |
| locate | Language.PiSigma.Lexer |
| location | Language.PiSigma.Lexer |
| locMessage | Language.PiSigma.Syntax |
| locReserved | Language.PiSigma.Lexer |
| locReservedOp | Language.PiSigma.Lexer |
| locSymbol | Language.PiSigma.Lexer |
| lookupCon | Language.PiSigma.Syntax |
| lookupId | Language.PiSigma.Evaluate |
| lookupScope | Language.PiSigma.Syntax |
| lty | Language.PiSigma.Syntax |