Haskell ATerm Library

[Joost Visser]

Release 1.2 of the Haskell ATerm Library is now available from:

  http://www.cwi.nl/projects/MetaEnv/haterm/

This package provides support for ATerms in Haskell. Currently this
includes the following:

  * Representation of ATerms (no sharing).
  * Reading and writing ATerms to/from Strings, either in plain
    textual format (TXT), or in maximally shared textual format (TAF).
  * Conversion betweens ATerms and user types.

To enable the latter feature, you need to provide instances of the
ATermConvertible class for all the datatypes that you want to convert
to/from ATerms. Automatic generation of instances is supported by the 
DrIFT-Strafunski pre-compiler (version 1.4 and upward), which is 
available from:

  http://www.cs.vu.nl/Strafunski/

(We hope that soon jDrIFT will make this version of DrIFT redundant.)
For details on how to use and install these packages, see the README
and example files in the respective distributions.

ATerms
------

  The ATerms provide a generic format for representation and exchange
  of (annotated) terms.

  The ATerm Library (http://www.cwi.nl/projects/MetaEnv/aterm/)
  provides implementations of the ATerm Library in C and Java,
  including numerous ATerm command line utilities implemented in C.

  ATerms were developed in the context of the ASF+SDF
  Meta-Environment. They are also used by the rewriting language
  Stratego, by the transformation tool bundle XT, by the visitor
  generator JJForester, and by numerous other tools developed at CWI,
  Universiteit Utrecht, and elsewhere.

Contributions
-------------

  The Haskell ATerm Library was initiated by Joost Visser.
  Improvement were contributed by Klaus Luettich.

Links
-----

  Strafunski
    http://www.cs.vu.nl/Strafunski/

  ATerm Library for C and Java
    http://www.cwi.nl/projects/MetaEnv/aterm/

  ATerm Library for Java (alternative implementation)
    http://www.loria.fr/equipes/protheo/SOFTWARES/ELAN/Toolkit/

  XT (transformation tool bundle)
    http://www.program-transformation.org/xt/

  Stratego
    http://www.stratego-language.org/

  JJForester
    http://www.jjforester.org/