RigidCASL.hs

{- |
Description :  extension of CASL that distinguishes rigid and flexible symbols
Copyright   :  (c) Otto-von-Guericke University of Magdeburg
License     :  GPLv2 or higher, see LICENSE.txt

The "RigidCASL" folder contains the skeleton of
an instance of "Logic.Logic" for RigidCASL, an extension of CASL that distinguishes rigid and flexible symbols (the latter can be varying over time or over worlds).

-}

module RigidCASL where