Index - L
| L | Eval |
| l1 | TreeShapedOrder |
| Lam | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| 3 (Data Constructor) | Concrete |
| LBind | |
| 1 (Type/Class) | Abstract |
| 2 (Type/Class) | Concrete |
| Le | Abstract |
| leaves | TreeShapedOrder |
| leftBound | Abstract |
| LegendMatrix | |
| 1 (Type/Class) | Warshall |
| 2 (Data Constructor) | Warshall |
| len | TCM |
| LensDec | Abstract |
| LensPol | Abstract |
| Leq | Lexer |
| leq | Termination |
| leqApp | Eval |
| leqCase | Eval |
| leqCases | Eval |
| leqClauses | Eval |
| leqDec | Eval |
| leqPol | Polarity |
| leqPolM | Eval |
| leqPolPoly | Eval |
| leqSize | Eval |
| leqSize' | Eval |
| leqSizeE | Abstract |
| leqSort | Eval |
| leqSort' | Eval |
| leqVal | Eval |
| leqVal' | Eval |
| leqVals' | Eval |
| leSize | Eval |
| leSize' | Eval |
| leSize'' | Eval |
| leSizePlus | Eval |
| leSizePlus' | Eval |
| Let | Lexer |
| LetDecl | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| LetDef | |
| 1 (Type/Class) | Concrete |
| 2 (Data Constructor) | Concrete |
| letdef | Abstract |
| letDefDec | Concrete |
| letDefExpr | Concrete |
| letDefName | Concrete |
| letDefTel | Concrete |
| letDefType | Concrete |
| LetK | Abstract |
| LetSig | TCM |
| lexSizes | Eval |
| lhs | TCM |
| lhsTyp | TCM |
| LHSType | TCM |
| license | License |
| LinearPatterns | Abstract |
| List1 | Util |
| LLet | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| lookupEnv | Value |
| lookupGen | TCM |
| lookupGenType2 | TCM |
| lookupM | TCM |
| lookupName | TCM |
| lookupName1 | TCM |
| lookupPure | Value |
| lookupSub | TypeChecker |
| lookupSymb | TCM |
| lookupSymbInSig | TCM |
| lookupSymbQ | TCM |
| lookupSymbTyp | TCM |
| lookupSymbTypQ | TCM |
| lowerKind | Abstract |
| lowerSemiCont | TypeChecker |
| lowerSemiContinuous | TypeChecker |
| Lt | Abstract |
| LtLe | Abstract |
| ltle | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| LTri | Lexer |
| ltSize | Eval |