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

[ bsd3, library, program, unclassified ] [ Propose Tags ] [ Report a vulnerability ]

Modules

  • Language
    • EO
      • Language.EO.Phi
        • Language.EO.Phi.Dataize
          • Language.EO.Phi.Dataize.Atoms
          • Language.EO.Phi.Dataize.Context
        • Language.EO.Phi.Dependencies
        • Metrics
          • Language.EO.Phi.Metrics.Collect
          • Language.EO.Phi.Metrics.Data
        • Language.EO.Phi.Normalize
        • Pipeline
          • Language.EO.Phi.Pipeline.Config
          • Dataize
            • Language.EO.Phi.Pipeline.Dataize.PrintConfigs
          • EOTests
            • Language.EO.Phi.Pipeline.EOTests.Data
            • Language.EO.Phi.Pipeline.EOTests.PrepareTests
        • Report
          • Language.EO.Phi.Report.Data
          • Language.EO.Phi.Report.Html
        • Rules
          • 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
          • 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
        • Language.EO.Test.Yaml
        • Language.EO.Test.YamlSpec

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0, 0.2.0, 0.3.0, 0.3.1, 0.4.0, 0.4.1, 1.0.0, 1.1.0, 2.0.0, 2.1.0, 2.2.0, 2.2.1, 2.2.2, 2.3.0
Change log CHANGELOG.md
Dependencies aeson, aeson-pretty, array (>=0.5.5.0), base (>=4.7 && <5), blaze-html, blaze-markup, bytestring, cereal, containers, directory, eo-phi-normalizer, file-embed (>=0.0.16.0), filepath, generic-lens, hashable, hspec, hspec-core, lens, mtl, optparse-applicative, PyF, regex-compat, scientific, template-haskell, text, unordered-containers, with-utf8, yaml [details]
License BSD-3-Clause
Copyright 2023-2024 EO/Polystat Development Team
Author EO/Polystat Development Team
Maintainer nickolay.kudasov@gmail.com
Home page https://github.com/objectionary/eo-phi-normalizer#readme
Bug tracker https://github.com/objectionary/eo-phi-normalizer/issues
Source repo head: git clone https://github.com/objectionary/eo-phi-normalizer
Uploaded by deemp at 2024-11-29T17:27:57Z
Distributions
Executables eo-phi-normalizer
Downloads 437 total (137 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2024-11-29 [all 2 reports]

Readme for eo-phi-normalizer-2.2.2

[back to package description]

eo-phi-normalizer

rzk on Hackage Haddock

Command line normalizer of 𝜑-calculus expressions (as produced by the EO compiler).

See https://github.com/objectionary/eo-phi-normalizer#readme.