@hackage eo-phi-normalizer0.3.1

Command line normalizer of 𝜑-calculus expressions.

Categories
License
BSD-3-Clause
Maintainer
nickolay.kudasov@gmail.com
Links
Versions
- 0.3.1 Fri, 12 Apr 2024
- 0.3.0 Tue, 26 Mar 2024
- 0.2.0 Fri, 16 Feb 2024
- 0.1.0 Fri, 2 Feb 2024

eo-phi-normalizer

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

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

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