[Haskell] ANNOUNCE: Chameleon version (04-07)

[Martin Sulzmann]

We are pleased to announce Chameleon version 04-07.

Latest version can be downloaded via
http://www.comp.nus.edu.sg/~sulzmann/chameleon/

New features include:

    * Improved Type Inference  and  Lexically Scoped Annotations
    * Improving Type Error Diagnosis
    * Beyond Functional Dependencies. 
    * Existentially Quantified Type Classes.
       (includes guarded recursive data types aka 
        first-class phantom types etc)

Martin Sulzmann (sulzmann at comp.nus.edu.sg)
Jeremy Wazny (jeremyrw at students.cs.mu.OZ.AU)