Lambda | Wingman.GHC |
lambdaCaseable | Wingman.GHC |
lambdaHypothesis | Wingman.Judgements |
LamCase | Wingman.GHC |
layout | Wingman.Metaprogramming.ProofState |
letForEach | Wingman.CodeGen |
lexeme | Wingman.Metaprogramming.Lexer |
liftMaybe | Wingman.GHC |
lineComment | Wingman.Metaprogramming.Lexer |
List | Wingman.Naming |
locallyDefinedMethods | Wingman.Context |
localTactic | Wingman.Tactics |
lookupNameInContext | Wingman.Machinery |