Index - L
| langle | DDC.Core.Pretty |
| LazyBindings | DDC.Core.Fragment |
| lbrace | DDC.Core.Pretty |
| lbracket | DDC.Core.Pretty |
| LetLazy | DDC.Core.Exp |
| LetMode | DDC.Core.Exp |
| Lets | DDC.Core.Exp |
| LetStrict | 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 | DDC.Core.Exp |
| LLetRegions | 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 | DDC.Core.Exp |
| LWithRegion | DDC.Core.Exp |