Hets - the Heterogeneous Tool Set

Copyright(c) Paolo Torrini and Till Mossakowski and Uni Bremen 2004-2005
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerpaolot@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable (depends on programatica using MPTC)
Safe HaskellNone

Comorphisms.Hs2HOLCF

Description

theory translation for the embedding comorphism from Haskell to Isabelle.

Documentation

transTheory :: Continuity -> Bool -> Sign -> [Named PrDecl] -> Result (Sign, [Named Sentence])