PropLogic-0.9.0.1: A system for propositional logic with default and fast instances of propositional algebras.
Main
main :: IO ()Source