Index - L
| Lambda | Wingman.GHC |
| lambdaCaseable | Wingman.GHC |
| lambdaHypothesis | Wingman.Judgements |
| LamCase | Wingman.GHC |
| layout | Wingman.Metaprogramming.ProofState |
| learnFromFundeps | Wingman.Machinery |
| letBind | Wingman.Tactics |
| letForEach | Wingman.CodeGen |
| lexeme | Wingman.Metaprogramming.Lexer |
| le_config | Wingman.AbstractLSP.Types |
| le_dflags | Wingman.AbstractLSP.Types |
| le_fileContext | Wingman.AbstractLSP.Types |
| le_ideState | Wingman.AbstractLSP.Types |
| le_pluginId | Wingman.AbstractLSP.Types |
| liftMaybe | Wingman.GHC |
| lineComment | Wingman.Metaprogramming.Lexer |
| List | Wingman.Naming |
| locallyDefinedMethods | Wingman.Context |
| localTactic | Wingman.Tactics |
| Log | |
| 1 (Type/Class) | Wingman.LanguageServer |
| 2 (Type/Class) | Wingman.Plugin, Ide.Plugin.Tactic |
| LogShake | Wingman.LanguageServer |
| LogWingmanLanguageServer | Wingman.Plugin, Ide.Plugin.Tactic |
| lookupNameInContext | Wingman.Machinery |
| LspEnv | |
| 1 (Type/Class) | Wingman.AbstractLSP.Types |
| 2 (Data Constructor) | Wingman.AbstractLSP.Types |