Index - L
| langle | DDC.Core.Pretty |
| lbrace | DDC.Core.Pretty |
| lbracket | DDC.Core.Pretty |
| Lets | |
| 1 (Type/Class) | DDC.Core.Exp.Simple |
| 2 (Type/Class) | DDC.Core.Exp.Annot, DDC.Core.Exp |
| lexExp | DDC.Core.Lexer |
| lexModuleWithOffside | DDC.Core.Lexer |
| lift | DDC.Type.Env |
| liftAtDepthT | DDC.Type.Transform.LiftT, DDC.Core.Transform.LiftT |
| liftAtDepthX | DDC.Core.Transform.LiftX |
| liftT | DDC.Type.Transform.LiftT, DDC.Core.Transform.LiftT |
| liftX | DDC.Core.Transform.LiftX |
| line | DDC.Core.Pretty |
| linebreak | DDC.Core.Pretty |
| list | DDC.Core.Pretty |
| LLet | |
| 1 (Data Constructor) | DDC.Core.Exp.Simple |
| 2 (Data Constructor) | DDC.Core.Exp.Annot, DDC.Core.Exp |
| LLetRegions | |
| 1 (Data Constructor) | DDC.Core.Exp.Simple |
| 2 (Data Constructor) | DDC.Core.Exp.Annot, DDC.Core.Exp |
| loadExp | DDC.Core.Load |
| loadModuleFromFile | DDC.Core.Load |
| loadModuleFromString | DDC.Core.Load |
| loadModuleFromTokens | DDC.Core.Load |
| loadType | DDC.Core.Load |
| loadWitness | DDC.Core.Load |
| lookup | DDC.Type.Env |
| lookupModeOfDataType | DDC.Type.DataDef |
| lookupName | DDC.Type.Env |
| lowerAtDepthT | DDC.Type.Transform.LiftT |
| lowerAtDepthX | DDC.Core.Transform.LiftX |
| lowerT | DDC.Type.Transform.LiftT |
| lowerX | DDC.Core.Transform.LiftX |
| lparen | DDC.Core.Pretty |
| LRec | |
| 1 (Data Constructor) | DDC.Core.Exp.Simple |
| 2 (Data Constructor) | DDC.Core.Exp.Annot, DDC.Core.Exp |
| LWithRegion | |
| 1 (Data Constructor) | DDC.Core.Exp.Simple |
| 2 (Data Constructor) | DDC.Core.Exp.Annot, DDC.Core.Exp |