{- |
Description :  logic of hybrid partial algebras
Copyright   :  (c) Otto-von-Guericke University of Magdeburg
License     :  GPLv2 or higher, see LICENSE.txt

The "HPAR" folder contains an unifinished skeleton of
an instance of "Logic.Logic" for hybrid partial algebras.

-}

module HPAR where