Hets - the Heterogeneous Tool Set

LicenseGPLv2 or higher, see LICENSE.txt
Maintainernevrenato@gmail.com
Stabilityprovisional
Portabilityportable
Safe HaskellNone

TopHybrid.Print_AS

Contents

Description

Description : Instance of class Pretty for hybrid logic with an arbitrary logic below.

Documentation

Orphan instances