Tools for Haskell extended with property declarations
What is in this directory (property)
The code in this directory defines an extended version of Haskell that
has declaration of properties. The syntax is defined by extending the
structures defined in the directory
../base
.
The corresponding code for type checking etc is reused.
The main tool, ppfe
,
reuses the extensible front-end defined in the directory
../pfe
.
The language provided for describing properties is P-Logic.
Authors: various
Contact: TH