h$      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLM N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h None& #$%&'(-./02356789>?lambda-calculator.An expression that cannot be parsed Examples: x y = ylambda-calculator*A let binding nested in another expressionlambda-calculator;The expected type does not match the actual type Examples:(x: X. x) (y:Y)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 matcher   None& #$%&'(-./02356789>?> None& #$%&'(-./02356789>?  None& #$%&'(-./02356789>?jlambda-calculatorType variable (T)lambda-calculatorType arrow (T -> U)lambda-calculatorUniversal type (forall T. X)lambda-calculator Variable: xlambda-calculatorFunction application: `x y`lambda-calculatorLambda abstraction: `x: X. x`lambda-calculatorType Abstraction: `X. body`lambda-calculatorType Application: `x [X]`  None& #$%&'(-./02356789>? ! !None& #$%&'(-./02356789>?("#$%&'()*+,-./01234$%&'#"()*+,.-0/1243None& #$%&'(-./02356789>?# !"#$%&'()*+,-./012345656None& #$%&'(-./02356789>? 789:;<=>?@AB 879:;<=>?@ABNone& #$%&'(-./02356789>? Dlambda-calculator VariablesElambda-calculator ApplicationFlambda-calculator AbstractionsGlambda-calculator Let bindingsCDEFGHICDEFGIH None& #$%&'(-./02356789>? iijklmnopqrstuvwxyz{|}~MM None& #$%&'(-./02356789>? + Nlambda-calculator,A mapping of global variables to expressionsOlambda-calculatorA stateful computationPlambda-calculatorThe evaluation stateSlambda-calculatorUnused unique namesTlambda-calculatorRun an evalualationUlambda-calculator2Run an evalualation, throwing away the final stateVlambda-calculator7Run an evaluation. If the result is an error, throws itWlambda-calculatorRun an evaluation, throwing away the final state. If the result is an error, throws itXlambda-calculatorCreate an EvalState[lambda-calculator#Access globals from the state monad\lambda-calculator%Access unique supply from state monadNOPQRSTUVWXYZ[\]^PQRSONTUWVYZX[\]^ None& #$%&'(-./02356789>?_lambda-calculatorEvaluate an expression`lambda-calculator?Look up free vars that have global bindings and substitute themalambda-calculatorFunction applicationblambda-calculator4Rename abstraction parameters to avoid name capturesclambda-calculator"Eliminite superfluous abstractionsdlambda-calculator(Find the free variables in an expression PQRS_`abcd PQRS_`abcd None& #$%&'(-./02356789>?zijklmnopqrstuvwxyz{|}~ CGFDEHIMNOPQRSTUVWXYZ[\]^_`abcdefghefgh None' #$%&'(-./02356789>? !"#$%&'()*+,-./01233456789:;<=>?@ABCDEFGHIJKLMNOPQ"#$R'STUV / C W X X Y Z [ \ ] ^ _ ` ; a = b A c d e f g h D i j klmnlmolmplmqlmrlmslmtlmulmvlmwlmxlmylmzlm{lm|lm}lm~lmlmllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll0lambda-calculator-3.0.0.1-Lif6ilKYIpuJDoSNOlVVLXLanguage.Lambda.Shared.Errors#Language.Lambda.Shared.UniqueSupply"Language.Lambda.SystemF.ExpressionLanguage.Lambda.SystemF.ParserLanguage.Lambda.SystemF.StateLanguage.Lambda.SystemF!Language.Lambda.SystemF.TypeCheck"Language.Lambda.Untyped.ExpressionLanguage.Lambda.Untyped.ParserLanguage.Lambda.Untyped.StateLanguage.Lambda.Untyped.EvalLanguage.Lambda.UntypedLanguage.LambdaPaths_lambda_calculatorLambdaException ParseError InvalidLetTyMismatchErrorImpossibleErrorisLambdaException isLetError isParseErrorisImpossibleError$fShowLambdaException$fDisplayLambdaException$fExceptionLambdaException$fEqLambdaExceptiondefaultUniquesTyTyVarTyArrowTyForAll SystemFExprVarAppAbsTyAbsTyApp prettyPrint upperLambda $fPrettyTy$fPrettySystemFExpr$fEqSystemFExpr$fShowSystemFExpr$fEqTy$fShowTy parseExpr parseTypeContext TypecheckTypecheckState tsContext tsUniques runTypecheck execTypecheckunsafeRunTypecheckunsafeExecTypecheckmkTypecheckStateuniquescontext getUniques getContext modifyContext modifyUniques setUniques setContextGlobalsevalTextContext' UniqueSupply typecheck typecheckVar typecheckAbs typecheckApptypecheckTyAbstypecheckTyAppunique substitute substituteTytyMismatchError LambdaExprLetlambda$fPrettyLambdaExpr$fEqLambdaExpr$fShowLambdaExprEval EvalState esGlobals esUniquesrunEvalexecEval unsafeRunEvalunsafeExecEval mkEvalStateglobals getGlobals setGlobalsevalExpr subGlobals betaReduce alphaConvert etaConvert freeVarsOf runEvalText execEvalTextunsafeExecEvalTextparsec-3.1.14.0Text.Parsec.CharstringsatisfyanyCharcharoctDigithexDigitdigitletteralphaNumloweruppertab endOfLinecrlfnewlinespacespacesnoneOfoneOfText.Parsec.Combinator parserTraced parserTracemanyTill notFollowedByeofanyTokenchainr1chainl1chainlchainrcountendByendBy1sepEndBy sepEndBy1sepBy1sepBymany1 skipMany1betweenoptional optionMaybeoptionchoiceText.Parsec.Prim updateStatesetState modifyStateputStategetStateupdateParserStatesetParserStategetParserStatesetInput setPositiongetInput getPosition parseTestparse runParser runParserTrunPrunPT manyAccumskipManymany tokenPrimEx tokenPrimtoken lookAheadtrytokenslabelslabel<|> parserPlus parserZero parserFailmergeErrorReply parserBind parserReturn parsecMapmkPT runParsecT unexpectedsysUnExpectError unknownErrorParsecTParsecConsumedEmptyReplyErrorOkState stateUser stateInputstatePosStreamunconsText.Parsec.ErrorerrorPosText.Parsec.PossetSourceColumn setSourceLine setSourceNameincSourceColumn incSourceLine sourceColumn sourceLine sourceName SourceNameLineColumn SourcePosversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName