Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder, DFKI GmbH 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Fpl.As

Description

abstract syntax for FPL, logic for functional programs as CASL extension

Synopsis

Documentation

prepPunctBar :: [Doc] -> [Doc]

eqForm :: [String] -> AParser st TermExt

extra formulas to compare bool terms with true or false. Interpreting boolean valued terms as formulas is still missing.