picologic-0.1: Utilities for symbolic predicate logic expressions
Picologic.Pretty
Synopsis
ppExprU :: Expr -> DocSource
Pretty print with unicode symbols.
ppExprA :: Expr -> DocSource
Pretty print with ascii symbols.
ppSolutions :: Solutions -> StringSource