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

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

Please see the README on GitHub at https://github.com/objectionary/eo-phi-normalizer#readme

Modules

eo-phi-normalizer-2.2.2

Language
Submodules
- EO
  Submodules
  - 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
    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.PhiPaper
    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.Syntax.Print
    Language.EO.Phi.TH
    Language.EO.Phi.ToLaTeX
  - Test
    Submodules
    Language.EO.Test.Yaml
    Language.EO.Test.YamlSpec