@hackage eo-phi-normalizer3.2.0

Command line normalizer of 𝜑-calculus expressions.

Categories
License
BSD-3-Clause
Maintainer
nickolay.kudasov@gmail.com
Links
Versions
- 3.2.0 Mon, 13 Jan 2025
- 3.1.0 Wed, 1 Jan 2025
- 3.0.0 Sat, 28 Dec 2024
- 2.3.0 Thu, 5 Dec 2024
- 2.2.2 Fri, 29 Nov 2024
- 2.2.1 Wed, 27 Nov 2024

Installation
Custom
In your cabal file:
Dependencies (31)
- PyF
- aeson
- array >=0.5.5.0
- base >=4.7 && <5
- blaze-html
- blaze-markup
Dependents (0)

eo-phi-normalizer

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

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