eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions.

Index - M

makeProgramReportLanguage.EO.Phi.Report.Data
makeReportLanguage.EO.Phi.Report.Data
matchAttrLanguage.EO.Phi.Rules.Yaml
matchBindingLanguage.EO.Phi.Rules.Yaml
matchBindingsLanguage.EO.Phi.Rules.Yaml
matchContextLanguage.EO.Phi.Rules.Yaml
matchFindBindingLanguage.EO.Phi.Rules.Yaml
matchObjectLanguage.EO.Phi.Rules.Yaml
matchOneHoleContextLanguage.EO.Phi.Rules.Yaml
maxDepthLanguage.EO.Phi.Rules.Common
maxTermSizeLanguage.EO.Phi.Rules.Common
mergeBindingLanguage.EO.Phi.Dependencies
mergeBindingsLanguage.EO.Phi.Dependencies
mergeSubstLanguage.EO.Phi.Rules.Yaml
MetaAttrLanguage.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
MetaBindingsLanguage.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
MetaContextualizeLanguage.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
MetaDeltaBindingLanguage.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
MetaFunctionLanguage.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
MetaFunctionName 
1 (Type/Class)Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
2 (Data Constructor)Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
MetaIdLanguage.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
MetaIdBindingsLanguage.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
MetaIdBytesLanguage.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
MetaIdLabelLanguage.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
MetaIdObjectLanguage.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
MetaIdTailLanguage.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
MetaObjectLanguage.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
MetaState 
1 (Type/Class)Language.EO.Phi.Rules.Yaml
2 (Data Constructor)Language.EO.Phi.Rules.Yaml
MetaSubstThisLanguage.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
MetaTailContextLanguage.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
Metrics 
1 (Type/Class)Language.EO.Phi.Metrics.Data
2 (Data Constructor)Language.EO.Phi.Metrics.Data
MetricsChangeLanguage.EO.Phi.Pipeline.Config
MetricsChange'BadLanguage.EO.Phi.Pipeline.Config
MetricsChange'GoodLanguage.EO.Phi.Pipeline.Config
MetricsChange'NALanguage.EO.Phi.Pipeline.Config
MetricsChangeCategorizedLanguage.EO.Phi.Pipeline.Config
MetricsChangeCategoryLanguage.EO.Phi.Pipeline.Config
MetricsCountLanguage.EO.Phi.Metrics.Data
metricsNamesLanguage.EO.Phi.Report.Html
minimizeObjectLanguage.EO.Phi.Rules.Common
minimizeObject'Language.EO.Phi.Rules.Common
minimizeTermsLanguage.EO.Phi.Rules.Common
mkDataSortAttributeLanguage.EO.Phi.Report.Html
mkEnabledAtomsLanguage.EO.Phi.Dataize.Context
mkEscLanguage.EO.Phi.Syntax.Print
mkFreshAttributeLanguage.EO.Phi.Rules.Yaml
mkFreshAttributesLanguage.EO.Phi.Rules.Yaml
mkFreshSubstLanguage.EO.Phi.Rules.Yaml
mkItemLanguage.EO.Phi.Report.Html
mkNumberLanguage.EO.Phi.Report.Html
mkPercentageLanguage.EO.Phi.Report.Html
mkPercentItemLanguage.EO.Phi.Report.Html
mkPosTokenLanguage.EO.Phi.Syntax.Lex
modifyContextLanguage.EO.Phi.Rules.Common
msplitLanguage.EO.Phi.Rules.Common
myLexerLanguage.EO.Phi.Syntax.Par