{- |

The "Propositional" folder contains the skeleton of

an instance of "Logic.Logic" for simple propositional

logic.

-}

module Propositional where