Îõ³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ÂC<=><=> Safe-Inferred"%&'1;Âã7CltextRepresents a scenario where a  is inside a  or .EltextÍThe body of a document is either a block of raw text, or an ltext expression.HltextA parsed documentJltextâArity of the document - the parameters of the function, where each entry is the name of the term.KltextThe function's bodyLltextConcatenates adjacent F blocksMltextæTakes a raw text file and returns the parsed document, and left and right delimiters if it has arity.OltextÍGiven a document, generate an expression (without thinking too hard about it)MltextDocument contentNltextExplicitly supplied delimitersOltextName of source file?A@BCDEGFHKJILMNOPQRSTUHKJIEGFLMNOBCD?A@PQRSTU Safe-Inferred/´bltextMore technical shared data `abgfedch bgfedca`h Safe-Inferred/; 7‡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 context—ltext(Replaces bound variables with fresh ones/kmlnqporutsvwxy{z|}~€†…„ƒ‚‡Š‰ˆ‹ŒŽ‘’“”•–—˜™/‡Š‰ˆ‹†…„ƒ‚Œ~€Ž}|y{zvwxruts‘’“nqpo”•–—˜kml™ Safe-Inferred 𮯰±²³´µ¶      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOOPQRSTUVWXYZ[\]^_`abcdefghhijklmnopqrsstuvvwxyz{||}~€€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·"ltext-0.1.5-2mWRDtVcy1xDs2drGHsToO LText.Expr LText.EvalLText.DocumentApplication.Types LText.Type Paths_ltextLexemeLambdaArrowIdent Bracketed getBracketed MonadParse ParseErrorBracketsInsideLambdaLambdaInsideLambdaLambdaInStaleScopeArrowWithoutLambda ArrowInScopeEmptyExpression LexerError ParseState InsideLambdaScopeScopeUseFreshStaleMonadPrettyPrintExprAbsAppVarLitConcat litContent litSource litInError concatLeft concatRight concatSource concatInErrorppExprinitParseStatehandleParseErrorrunParse 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 fromDocumentdecorateUnprintableisAnyUnprintablehandlePrintError toDocument 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