eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.EO.Phi.Syntax

Synopsis

Documentation

module Language.EO.Phi.Syntax.Abs

printTree :: Print a => a -> String Source #

Like printTree, but without spaces around dots and no indentation for curly braces.

shrinkDots :: String -> String Source #

Remove spaces around dots.

>>> shrinkDots "a ↦ ξ . a" == "a ↦ ξ.a"
True