Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder and Uni Bremen 2005-2007
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (existential types)
Safe HaskellSafe-Inferred

ATC

Description

This folder provides conversion methods, converting between Hets data structures and shared ATerms. Most of the modules have been automatically created using DriFT from the utils folder. An execption are the modules with existential types, such as ATC.Grothendieck.