Index
| Abs | Lib |
| App | Lib |
| betaReduce | Lib |
| checkShadowing | Lib |
| checkUnused | Lib |
| Closure | Lib |
| compile | Lib |
| compile' | Lib |
| Env | Lib |
| ErrIdentifier | |
| 1 (Type/Class) | Lib |
| 2 (Data Constructor) | Lib |
| Error | Lib |
| etaReduce | Lib |
| eval | Lib |
| Expr | Lib |
| Identifier | Lib |
| isFreeVarOf | Lib |
| Lit | Lib |
| maybeToEither | Utils |
| mergeUnused | Lib |
| NonFunctionApp | Lib |
| ShadowVar | |
| 1 (Type/Class) | Lib |
| 2 (Data Constructor) | Lib |
| Term | Lib |
| UndeclaredVar | Lib |
| Value | |
| 1 (Type/Class) | Lib |
| 2 (Data Constructor) | Lib |