h& T      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\ Safe-Inferred"]elsaQueue ---------------------------------------------------------------------^_`]abcdefghijklmnopqrstu Safe-Inferred"velsa%Representing (unrecoverable) failureswelsa Usage ModexelsaSource Span RepresentationyelsaAccessing SourceSpanzelsaSource Span Extraction{elsaSource Span Constructionv|}w~xyz{ Safe-Inferred"8;elsaTag ExtractionelsaPrograms!elsaResult:elsaPretty Printing9    !'&%$"#()*+,-./01234567890/.-,+*)(!'&%$"#1234    5678 Safe-Inferred"elsa,Top-level parsers (should consume all input)elsa=`symbol s` parses just the string s (and trailing whitespace)elsa& parses something between parenthesis.elsa-`lexeme p` consume whitespace after running pelsaelsalist of reserved wordselsa parses identifiers: lower-case alphabets followed by alphas or digitselsa= parses BareBind, used for let-binds and function parameters.UVUV Safe-Inferred" elsaNbE semantic domainelsaTransitive ReachabilityelsaDefinition EquivalenceelsaAlpha EquivalenceelsaBeta Reductionelsa`betas e` returns the list [e1,...en] of terms obtainable via a single-step beta reduction from e.elsaEvaluation to Normal FormelsaGeneral Helperselsa Error CasesXYXY Safe-Inferred"Z[\Z[\ Safe-Inferred"    !'&%$#"()*+,-./012345678UVXYZ[\       !!"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~#elsa-0.2.2.0-BOrvz8YROnj4v9sg8KlNKXLanguage.Elsa.TypesLanguage.Elsa.ParserLanguage.Elsa.EvalLanguage.Elsa.RunnerLanguage.Elsa.UtilsLanguage.Elsa.UX Language.ElsaTaggedtagRExprRVarRLamRAppExprEVarELamEAppBindEqnAlphEqBetaEqUnBetaDefnEqTrnsEqUnTrEqNormEqStepEvalevNameevRootevStepsDefnElsadefnsevalsResultOKPartialInvalidUnboundDupDefnDupEvalSResultSEqnSBindSStepSEvalSExprSDefnSElsaIdfailures successes resultErrormkErrrExprbkLammkLambindId $fPPrint[] $fPPrintBind$fEqBind $fPPrintExpr$fHashableExpr$fEqExpr $fShowExpr$fHashableRExpr $fTaggedExpr $fTaggedBind $fTaggedEqn $fEqRExpr$fGenericRExpr$fEqElsa $fShowElsa$fEqDefn $fShowDefn$fEqEval $fShowEval$fEqStep $fShowStep $fEqResult $fShowResult$fFunctorResult $fShowBind $fFunctorBind$fEqEqn $fShowEqnparse parseFile$fShowErrorComponentSourcePoselsaelsaOntopMainrunElsa runElsaIdQueueMoodSadHappyQgroupByinsertsdupBytrimtrimEnd ensurePath safeReadFilehandleIO traceShowsafeHeadgetRange fromEitherqEmptyqInitqPushesqPop moodColor wrapStars withColor colorStrLn UserErrorMode SourceSpanLocated readFileSpanposSpaneMsgeSpanJsonCmdlineServerSSssBeginssEnd sourceSpanPPrintpprintTextjunkSpanpanicabortmkError renderErrorswholesymbolparenslexemerWordkeywords identifierbinderValueisTrnsEqisDefnEqisAlphEqisBetaEqbetasisNormEqfreeVars errInvalid