| Lambda | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| LambdaF | Language.Rzk.Foil.Syntax |
| lambdaHoleOf | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| LambdaParam | |
| 1 (Type/Class) | Language.Rzk.Foil.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| LambdaT | Language.Rzk.Foil.Syntax |
| lambdaT | Language.Rzk.Foil.Syntax |
| Language | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| Language' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| LanguageDecl | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Type/Class) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| LanguageDecl' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| LargeInductiveTypeWarning | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| layoutClose | Language.Rzk.Syntax.Layout |
| LayoutDelimiters | |
| 1 (Type/Class) | Language.Rzk.Syntax.Layout |
| 2 (Data Constructor) | Language.Rzk.Syntax.Layout |
| layoutError | Language.Rzk.Syntax.Layout |
| layoutOpen | Language.Rzk.Syntax.Layout |
| layoutSep | Language.Rzk.Syntax.Layout |
| layoutStopWords | Language.Rzk.Syntax.Layout |
| layoutWords | Language.Rzk.Syntax.Layout |
| lemmaHypotheses | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| Let | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| LetF | Language.Rzk.Foil.Syntax |
| LetMod | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| LetModBind | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| LetModBindInto | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| LetModF | Language.Rzk.Foil.Syntax |
| LetModFramed | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| LetModFramedInto | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| LetModInto | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| LetModT | Language.Rzk.Foil.Syntax |
| letModT | Language.Rzk.Foil.Syntax |
| LetT | Language.Rzk.Foil.Syntax |
| letT | Language.Rzk.Foil.Syntax |
| limitLength | Rzk.Render.Geometry |
| Line | Language.Rzk.Syntax.Layout |
| line | Language.Rzk.Syntax.Layout |
| localHideTerm | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| localHypotheses | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| localMetaPrefixSensitivity | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| localRenderBackend | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| localTope | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| localVerbosity | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| localWarnOverhang | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| Location | |
| 1 (Type/Class) | Language.Rzk.VSCode.ReferenceIndex |
| 2 (Data Constructor) | Language.Rzk.VSCode.ReferenceIndex |
| locationColumn | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| locationFilePath | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| LocationInfo | |
| 1 (Type/Class) | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| locationLine | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| locationOfTypeError | Rzk.Diagnostic |
| locationPath | Language.Rzk.VSCode.ReferenceIndex |
| locationRange | Language.Rzk.VSCode.ReferenceIndex |
| locationToJSON | Rzk.Diagnostic |
| locationUri | Language.Rzk.VSCode.ReferenceIndex |
| locksOfVar | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| logDebug | Language.Rzk.VSCode.Logging |
| logError | Language.Rzk.VSCode.Logging |
| logHolesRev | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| logInfo | Language.Rzk.VSCode.Logging |
| logWarning | Language.Rzk.VSCode.Logging |
| logWarningsRev | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| lookupAt | Language.Rzk.VSCode.ReferenceIndex |
| lookupNamed | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| lookupVarInfo | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| LSP | Language.Rzk.VSCode.Env |