{- | 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