{- |

The "Propositional" folder contains the skeleton of
an instance of "Logic.Logic" for simple propositional
logic.

-}

module Propositional where