!%[      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZNone/[elsaKQueue ---------------------------------------------------------------------\]^[_`abcdefghijklmnopqrsNone=? telsa%Representing (unrecoverable) failuresuelsa Usage ModevelsaSource Span RepresentationwelsaAccessing SourceSpanxelsaSource Span ExtractionyelsaSource Span Constructiontz{u|}~vwxyNone47=? yelsaTag ExtractionelsaPrograms!elsaResult8elsaPretty Printing7    !%$"#&'()*+,-./01234567.-,+*)('&!%$"#/012    3456None=?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 wordselsaF parses identifiers: lower-case alphabets followed by alphas or digitselsa= parses BareBind, used for let-binds and function parameters.STSTNonec elsaTransitive ReachabilityelsaDefinition EquivalenceelsaAlpha EquivalenceelsaBeta Reductionelsac`betas e` returns the list [e1,...en] of terms obtainable via a single-step beta reduction from e.elsaEvaluation to Normal Form Dhttp://www.cs.cornell.edu/courses/cs6110/2014sp/Handouts/Sestoft.pdfelsanormal-order reductionelsacall-by-name reductionelsa5Force alpha-renaming to ensure capture avoiding substelsaGeneral Helperselsa Error CasesVWVWNoneXXYZXYZNone>  !#"$%&'()*+,-./0123456STVWXYZ       !!"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~#elsa-0.2.1.2-Jpn7BgfKoRXEmZ2dWqEY2wLanguage.Elsa.TypesLanguage.Elsa.ParserLanguage.Elsa.EvalLanguage.Elsa.RunnerLanguage.Elsa.UtilsLanguage.Elsa.UX Language.ElsaTaggedtagRExprRVarRLamRAppExprEVarELamEAppBindEqnAlphEqBetaEqUnBetaDefnEqTrnsEqUnTrEqNormEqStepEvalevNameevRootevStepsDefnElsadefnsevalsResultOKPartialInvalidUnboundSResultSEqnSBindSStepSEvalSExprSDefnSElsaIdfailures successes resultErrormkErrrExprbkLammkLambindId $fPPrint[] $fPPrintBind$fEqBind $fPPrintExpr$fHashableExpr$fEqExpr $fShowExpr$fHashableRExpr $fTaggedExpr $fTaggedBind $fTaggedEqn$fEqEqn $fShowEqn $fShowBind $fFunctorBind $fEqResult $fShowResult$fFunctorResult$fEqStep $fShowStep$fEqEval $fShowEval$fEqDefn $fShowDefn$fEqElsa $fShowElsa $fEqRExpr$fGenericRExprparse parseFile$fShowErrorComponentSourcePoselsaelsaOntopMainrunElsa runElsaIdQueueMoodSadHappyQgroupByinsertsdupBytrimtrimEnd ensurePath safeReadFilehandleIO traceShowsafeHeadgetRange fromEitherqEmptyqInitqPushesqPop moodColor wrapStars withColor colorStrLn UserErrorMode SourceSpanLocated readFileSpanposSpaneSpaneMsgJsonCmdlineServerSSssBeginssEnd sourceSpanPPrintpprintTextjunkSpanpanicabortmkError renderErrorswholesymbolparenslexemerWordkeywords identifierbinderisTrnsEqisDefnEqisAlphEqisBetaEqbetasisNormEqevalNOevalCBNbSubstfreeVars errInvalid