@hackage eo-phi-normalizer0.2.0

Command line normalizer of 𝜑-calculus expressions.

Categories
License
BSD-3-Clause
Maintainer
nickolay.kudasov@gmail.com
Links
Versions
- 1.1.0 Fri, 4 Oct 2024
- 1.0.0 Fri, 19 Jul 2024
- 0.4.1 Thu, 13 Jun 2024
- 0.4.0 Tue, 4 Jun 2024
- 0.3.1 Fri, 12 Apr 2024
- 0.3.0 Tue, 26 Mar 2024

Installation
Custom
In your cabal file:
Dependencies (10)
- array >=0.5.5.0
- base >=4.7 && <5
- directory
- filepath
- mtl
- aeson
Dependents (0)

eo-phi-normalizer

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

See https://github.com/objectionary/normalizer#readme.