Hets - the Heterogeneous Tool Set

Copyright(c) Otto-von-Guericke University of Magdeburg
LicenseGPLv2 or higher, see LICENSE.txt
Safe HaskellSafe

RigidCASL

Description

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).