Hets - the Heterogeneous Tool Set

Copyright(c) C. Maeder, DFKI GmbH 2009
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

Maude.Parse

Description

extract Maude text from structured specs and stops at an unbalanced curly brace

Documentation