Index - E
| EApp | Lang.Lang |
| EBool | Lang.Lang |
| EChar | Lang.Lang |
| EIf | Lang.Lang |
| EInt | Lang.Lang |
| ELam | Lang.Lang |
| ELet | Lang.Lang |
| EList | Lang.Lang |
| embed | Lang.Lang |
| EOp | Lang.Lang |
| Eq | Lang.Lang |
| EStr | Lang.Lang |
| eval | Lang.Denotation |
| evalExample | Lang.Evaluation |
| EvalJ | |
| 1 (Type/Class) | Lang.Operation |
| 2 (Data Constructor) | Lang.Operation |
| evaluationExamples | |
| 1 (Function) | Lang.Explanation |
| 2 (Function) | Lang.NamedExplanation |
| EVar | Lang.Lang |
| Explain | Logic.Proof |
| Expr | Lang.Lang |
| exprMap | Lang.Operation |