eo-phi-normalizer: Command line normalizer of 𝜑-calculus expressions.
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.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
- Language.EO.Phi
- EO
Downloads
- eo-phi-normalizer-1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
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 |
---|---|
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, 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-07-19T16:12:15Z |
Distributions | |
Executables | normalizer |
Downloads | 210 total (18 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-07-20 [all 2 reports] |