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

[ bsd3, library, program, unclassified ] [ Propose Tags ]

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
    - Metrics
      - Language.EO.Phi.Metrics.Collect
      - Language.EO.Phi.Metrics.Data
    - Language.EO.Phi.Normalize
    - Report
      - Language.EO.Phi.Report.Data
      - Language.EO.Phi.Report.Html
    - Rules
      - Language.EO.Phi.Rules.Common
      - Language.EO.Phi.Rules.PhiPaper
      - 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

Downloads

eo-phi-normalizer-0.3.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
Change log	CHANGELOG.md
Dependencies	aeson, aeson-pretty, array (>=0.5.5.0), base (>=4.7 && <5), blaze-html, blaze-markup, directory, eo-phi-normalizer, file-embed, filepath, generic-lens, lens, mtl, optparse-applicative, scientific, string-interpolate, template-haskell, text, yaml [details]
License	BSD-3-Clause
Copyright	2023 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-03-26T10:34:04Z
Distributions
Executables	normalizer
Downloads	85 total (28 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-03-26 [all 2 reports]

Readme for eo-phi-normalizer-0.3.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/normalizer#readme.