h&      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvw x y z { | } ~                                Safe-Inferred&"%&'()*/0125689:;<Xlambda-calculator.An expression that cannot be parsed Examples: x y = ylambda-calculator5A let binding nested in another expression Examples:x. let y = z x (let y = z)lambda-calculator;The expected type does not match the actual type Examples:"(x: X. x) (y:Y) (x: T. x) [U]lambda-calculator6A catch-all error that indicates a bug in this projectlambda-calculatorReturns true if the passed in value is a LamdbaExpression. Can be used, for example, as a  shouldThrow matcherlambda-calculator*A let binding nested in another expression    Safe-Inferred&"%&'()*/0125689:;<   Safe-Inferred&"%&'()*/0125689:;<|lambda-calculator Unique supplylambda-calculatorFree Variables Safe-Inferred&"%&'()*/0125689:;< lambda-calculatorType variable (T)lambda-calculatorType arrow (T -> U)lambda-calculatorUniversal type (forall T. X)lambda-calculatorA global binding: `let x = y`lambda-calculator Variable: xlambda-calculator#Variable annotated with type: `x:T`lambda-calculatorFunction application: `x y`lambda-calculatorLambda abstraction: `x: X. x` lambda-calculatorType Abstraction: `X. body`!lambda-calculatorType Application: `x [X]` !"#$%& !"#$%& Safe-Inferred&"%&'()*/0125689:;< T0101 Safe-Inferred&"%&'()*/0125689:;< 2;lambda-calculator'A unique supply of term-level variables<lambda-calculator'A unique supply of type-level variables23456789:;<=>?@ABCDEFGHIJKLMNO89:;<752346=>?@ABCDEHIFGJKLOMN Safe-Inferred&"%&'()*/0125689:;< Tlambda-calculatorEvaluates an expressionlambda-calculator Evaluates a top-level expressionlambda-calculator;Evaluates a non top-level expression. Does NOT support LetsTUVWXYTUVWXY Safe-Inferred&"%&'()*/0125689:;< Z[\]^_`abcdefghijklm[Z\]^_`abcdefghijklm Safe-Inferred&"%&'()*/0125689:;< r! "#$%&012345678<;9:=>?@ABCDEFGHIJKLMNOnopqrstuv nopqrstuv  Safe-Inferred&"%&'()*/0125689:;< xlambda-calculator Variablesylambda-calculator Applicationzlambda-calculator Abstractions{lambda-calculator Let bindingswy{xz|}wy{xz}|  Safe-Inferred&"%&'()*/0125689:;<  Safe-Inferred&"%&'()*/0125689:;< lambda-calculator,A mapping of global variables to expressionslambda-calculatorA stateful computationlambda-calculatorThe evaluation statelambda-calculatorUnused unique nameslambda-calculatorRun an evalualationlambda-calculator2Run an evalualation, throwing away the final statelambda-calculator7Run an evaluation. If the result is an error, throws itlambda-calculatorRun an evaluation, throwing away the final state. If the result is an error, throws itlambda-calculatorCreate an EvalStatelambda-calculator#Access globals from the state monadlambda-calculator%Access unique supply from state monad  Safe-Inferred&"%&'()*/0125689:;<lambda-calculatorEvaluate an expressionlambda-calculator)Evaluate an expression; does not support `let`lambda-calculator?Look up free vars that have global bindings and substitute themlambda-calculatorFunction applicationlambda-calculator4Rename abstraction parameters to avoid name captureslambda-calculator"Eliminite superfluous abstractionslambda-calculatorSubstitute an expression for a variable name in another expressionlambda-calculator(Find the free variables in an expression    Safe-Inferred&"%&'()*/0125689:;<Hwzxy{|} Safe-Inferred'"%&'()*/0125689:;< !"#$%&&'()*+,-./0123456789:;<=>?@ABCDEFGGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  + - . * 3     ? E             W  ]  b c d e f g | ~    0lambda-calculator-3.1.1.0-AiBZpg3TJdBIL7ApigXfGiLanguage.Lambda.Shared.Errors#Language.Lambda.Shared.UniqueSupply"Language.Lambda.SystemF.ExpressionLanguage.Lambda.SystemF.ParserLanguage.Lambda.SystemF.StateLanguage.Lambda.SystemF.Eval!Language.Lambda.SystemF.TypeCheckLanguage.Lambda.SystemF"Language.Lambda.Untyped.ExpressionLanguage.Lambda.Untyped.ParserLanguage.Lambda.Untyped.StateLanguage.Lambda.Untyped.EvalLanguage.Lambda.UntypedLanguage.LambdaPaths_lambda_calculatorLambdaException ParseError InvalidLetTyMismatchErrorImpossibleErrorisLambdaException isLetError isParseErrorisImpossibleErrorisTyMismatchError$fShowLambdaException$fDisplayLambdaException$fExceptionLambdaException$fEqLambdaExceptionUniquedefaultUniquesdefaultTyUniquesnextTyTyVarTyArrowTyForAll TypedExprteExprteTy SystemFExprLetVarVarAnnAppAbsTyAbsTyApp_expr_ty prettyPrint substituteTy upperLambda$fEqTy $fPrettyTy$fPrettySystemFExpr$fPrettyTypedExpr $fEqTypedExpr$fShowTypedExpr$fEqSystemFExpr$fShowSystemFExpr$fShowTy parseExpr parseTypeBindingBindTermBindTyContextGlobals TypecheckTypecheckState tsGlobals tsVarUniques tsTyUniques runTypecheck execTypecheckunsafeRunTypecheckunsafeExecTypecheckmkTypecheckState_context_globals _varUniques _tyUniques getVarUniques getTyUniques getContext getGlobals modifyGlobalsmodifyVarUniquesmodifyTyUniques setVarUniques setTyUniques setGlobals $fEqBinding $fShowBinding$fEqTypecheckState$fShowTypecheckStateevalExpr subGlobals betaReduce alphaConvert etaConvert freeVarsOfContext' UniqueSupply typechecktypecheckTopLevel typecheckLet typecheckExpr typecheckVartypecheckVarAnn typecheckAbs typecheckApptypecheckTyAbstypecheckTyApp typecheckVar' liftForAlls liftForAlls'isTyEquivalentareForAllsEquivalenttyUniquetyMismatchErrortyAppMismatchErrorevalText typecheckText runEvalTextrunTypecheckText execEvalTextexecTypecheckTextunsafeExecEvalTextunsafeExecTypecheckTextmkState LambdaExprlambda$fPrettyLambdaExpr$fEqLambdaExpr$fShowLambdaExprEval EvalState esGlobals esUniquesrunEvalexecEval unsafeRunEvalunsafeExecEval mkEvalStateglobalsuniques getUniques setUniques evalTopLevel evalInnerparsec-3.1.15.0Text.Parsec.CharuppertabstringspacesspacesatisfyoneOfoctDigitnoneOfnewlinelowerletterhexDigit endOfLinedigitcrlfcharanyCharalphaNumText.Parsec.Combinator skipMany1 sepEndBy1sepEndBysepBy1sepBy parserTraced parserTraceoptional optionMaybeoption notFollowedBymanyTillmany1eofendBy1endBycountchoicechainr1chainrchainl1chainlbetweenanyTokenText.Parsec.PrimStreamunconsState stateUserstatePos stateInputReplyErrorOkParsecTParsecConsumedEmpty updateStateupdateParserState unknownError unexpectedtrytokens tokenPrimEx tokenPrimtokensysUnExpectErrorskipManysetState setPositionsetParserStatesetInput runParserT runParser runParsecTrunPTrunPputState parserZero parserReturn parserPlus parserFail parserBind parsecMap parseTestparse modifyStatemkPTmergeErrorReply manyAccummany lookAheadlabelslabelgetState getPositiongetParserStategetInput<|>Text.Parsec.ErrorerrorPosText.Parsec.Pos SourcePos SourceNameLineColumn sourceName sourceLine sourceColumn setSourceName setSourceLinesetSourceColumn incSourceLineincSourceColumn evalExpr' substituteversiongetDataFileName getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDir