úÎy     "The core dataTypes of the language Safe-Inferred!"=HM>The Lit class is for the language contained inside lambdaBase.FtoLit sould take a Name and transform it to a literal of its language."apply is for function application. A programme  add 123 3213will be evaluated by transforming add to a literal.Transforming 123 to a literal.4Partially apply add and 123 with the apply function.Transforming 321 to a literal./Apply the "add123" literal and the 321 literal.GAnd if the Lit instance is correct, the result should be a 444 literal./See lambdaLit for an example of a Lit instance.!An expression of host language a. ™A name is a 'to be' literal In a programme, foo can be a name ( if it is not a lambda argument ). "foo" is also a name but is delimited by double quotes. Infix  Prefix  LateInfix3The LateInfix is a trick used is the eval function.Lambda argument!Evaluation scheme, Lazy or StrictCrappy show instance ;(         Safe-Inferred=HMParse a valid name%What is a valid char for an operator. Easy function to parse a string.*Will be infix if the string is an operator !"#$%&'()* !"#$%&'()*"Evaluation function for lambdaBase Safe-Inferred!"=HM Set PrefixInfixLateFix on an expression]Take en expression, a from and a to and replace all from by to and return the new expression.PReduce an expression. Can return an expression if it can't be reduced more. Ex : (\x -> x) (\x -> x)This will reduce to :  (\x -> x)Since it can't be reduced more. +,-./012 +,-./0123       !"#$%&'()*+,-./01234lambdaBase-0.0.1.0Language.LambdaBase.CoreLanguage.LambdaBase.ParserLanguage.LambdaBase.EvalLitapplyfromExprtoLitgetEVSExprNameLambdaNameType DelimitedNakedFix LateInfixPrefixInfixArgEVSStrictLazy $fShowExprname operatorChars parseExprfixityOfsetFixsubstituteInExprevalexprSepcomment lineComment inlineComment parenthesis isOperator nameNaked infixNamenameExpr notNakedNamelambda exprSimpleexprtoExList toListOfExisName evalLambdagetFixsubstituteLambdanameEq nameNotEq