Îõ³h& ù¦      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥ Safe-Inferred"/1;•ltext..->ltext(..)ltextTODO: pretty print exceptions#ltextExpects to be wrapped in parens(ltextOnly considers Abs, App and Var(  !"#$%&'(  !"#$%&' Safe-Inferred 567567 Safe-Inferred"1;Â>8:9;<=>@?ADCBEFGHIJKLMADCB>@?EFGH;<=IJK8:9LM Safe-Inferred/¹ZltextMore technical shared data XYZ_^]\[` Z_^]\[YX` Safe-Inferred/;Â;ltextÿWe're working in an implicitly quantified prenex-polymorphic type system, so trivial type expressions are also type schemes.‹ltext.Substitute n for t, given there's no collisionŽltext=Where we don't want to include variables bound by our contextltext(Replaces bound variables with fresh ones/cedfihgjmlknopqsrtuvxwy~}|{z‚€ƒ„…†‡ˆ‰Š‹ŒŽ‘/‚€ƒy~}|{z„vxw…†ut‡qsrnopjmlkˆ‰Š‹fihgŒŽced‘ Safe-Inferred䦧¨©ª«¬­®      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHHIJKLMNOPQRSTUVWXYZ[\]^_``abcdefghijkklmnnopqrsttuvwxxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯"ltext-0.1.4-JDznKcg5WsGI6xkrdYowaU LText.Expr LText.EvalLText.DocumentApplication.Types LText.Type Paths_ltextLexemeLambdaArrowIdent Bracketed getBracketed MonadParse ParseErrorBracketsInsideLambdaLambdaInsideLambdaLambdaInStaleScopeArrowWithoutLambda ArrowInScopeEmptyExpression LexerError ParseState InsideLambdaScopeScopeUseFreshStaleMonadPrettyPrintExprAbsAppVarLitConcatppExprinitParseStatehandleParseErrorrunParse runParserT parseExprexprlexlambdaarrowident bracketed$fArbitraryExpr$fExceptionParseError$fShowParseError$fEqParseError$fGenericParseError $fShowLexeme $fEqLexeme$fShowParseState$fEqParseState$fShowScopeUse $fEqScopeUse $fShowExpr$fEqExprevaluate substitutefreeVarsPrintabilityMode InsideConcat InsideExpr PrintErrorConcatExprTextNoExplicitDelimiters DocumentBodyRawText ExpressionDocument documentArity documentBodyrepackDocument parseDocument printDocument fromDocumenthandlePrintError toDocumenthasConcatAbsLit fetchDocument rawDocument$fArbitraryDocumentBody$fArbitraryDocument$fExceptionPrintError$fShowPrintError$fEqPrintError$fGenericPrintError$fShowDocument $fEqDocument$fShowDocumentBody$fEqDocumentBodyAppMMonadAppEnv topLevelExpr isTypeQueryrawTermsdelimsrunAppM$fEqEnv $fShowEnvExprTypeTopLevelDocLevelContext contextMap contextFreshScheme schemeQuant schemeTypeIsType freeTVars applySubstSubstgetSubst TypeCheckMMonadTypecheckTypeEnvplaintextFiles TypeError CantUnifyUnboundVariableOccursCheckFailure expectedType givenTypeTypeTextTVarTArrowppTypehandleTypeError toTypeEnv emptyTypeEnv runTypeCheckM freshTVarsomewhatFreshTVarmostGeneralUnifiervarBind initContext removeTVarquantify unQuantifytypeOfTopLevel typeInfer$fExceptionTypeError $fMonoidSubst $fIsTypeType $fIsType[]$fSemigroupSubst$fIsTypeScheme$fIsTypeContext $fShowContext $fEqContext $fShowScheme $fEqScheme $fShowSubst $fEqSubst $fShowTypeEnv $fEqTypeEnv$fShowTypeError $fEqTypeError$fGenericTypeError $fShowType$fEqTypeversiongetDataFileName getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDir