eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.EO.Phi.Rules.PhiPaper

Contents

Yegor's Rules

Synopsis

rule6 :: Rule

Yegor's Rules

rule6 :: Rule Source #

Rule 6.