picologic-0.1.1: Utilities for symbolic predicate logic expressions

Safe HaskellSafe-Inferred

Picologic.Pretty

Synopsis

Documentation

ppExprU :: Expr -> DocSource

Pretty print with unicode symbols.

ppExprA :: Expr -> DocSource

Pretty print with ascii symbols.

ppSolutions :: Solutions -> StringSource