Hets - the Heterogeneous Tool Set

Copyright(c) Mihai Codescu, DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerMihai.Codescu@dfki.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellNone

Proofs.Freeness

Description

compute normal forms

Documentation

freeness :: LibName -> LibEnv -> Result LibEnv