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

eo-phi-normalizer-3.2.0

• Language
  Submodules

  • EO
    Submodules

    •  Language.EO.Locale
    •  Language.EO.Phi
      Submodules

      •  Language.EO.Phi.Dataize
        Submodules

        •  Language.EO.Phi.Dataize.Atoms
        •  Language.EO.Phi.Dataize.Context
      •  Language.EO.Phi.Dependencies
      • Metrics
        Submodules

        •  Language.EO.Phi.Metrics.Collect
        •  Language.EO.Phi.Metrics.Data
      •  Language.EO.Phi.Normalize
      • Pipeline
        Submodules

        •  Language.EO.Phi.Pipeline.Config
        • Dataize
          Submodules

          •  Language.EO.Phi.Pipeline.Dataize.PrintConfigs
        • EOTests
          Submodules

          •  Language.EO.Phi.Pipeline.EOTests.Data
          •  Language.EO.Phi.Pipeline.EOTests.PrepareTests
      •  Language.EO.Phi.Preprocess
      •  Language.EO.Phi.Pretty
      • Report
        Submodules

        •  Language.EO.Phi.Report.Data
        •  Language.EO.Phi.Report.Html
      • Rules
        Submodules

        •  Language.EO.Phi.Rules.Common
        •  Language.EO.Phi.Rules.Fast
        •  Language.EO.Phi.Rules.RunYegor
        •  Language.EO.Phi.Rules.Yaml
      •  Language.EO.Phi.Syntax
        Submodules

        •  Language.EO.Phi.Syntax.Abs
        •  Language.EO.Phi.Syntax.Lex
        •  Language.EO.Phi.Syntax.Par
      •  Language.EO.Phi.TH
      •  Language.EO.Phi.ToLaTeX
    • Test
      Submodules

      •  Language.EO.Test.Yaml
      •  Language.EO.Test.YamlSpec