picologic-0.1: Utilities for symbolic predicate logic expressions

Safe HaskellSafe-Inferred

Picologic.Lexer

Documentation

type Parser = ParsecT String () IdentitySource

type Op = Operator String () IdentitySource