package

eo-phi-normalizer

Description

Command line normalizer of 𝜑-calculus expressions.

Description

hackage.haskell.org

Please see the README on GitHub at https://github.com/objectionary/eo-phi-normalizer#readme

README.md

hackage.haskell.org

eo-phi-normalizer

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

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

Metadata

Version

1.0.0

License

Status

Source

pkgs/development/haskell-modules/hackage-packages.nix:100810

Homepage

https://hackage.haskell.org/package/eo-phi-normalizer

Platforms (75)

Darwin

FreeBSD

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

WASI

Windows

Show all