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

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

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

[Skip to Readme]

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

eo-phi-normalizer-2.0.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

NickolayKudasov, deemp

For package maintainers and hackage trustees

edit package information

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
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-18T19:58:04Z
Distributions
Executables	eo-phi-normalizer
Downloads	322 total (59 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-18 [all 2 reports]

Readme for eo-phi-normalizer-2.0.0

[back to package description]

eo-phi-normalizer

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

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