This directory contains an implementation of polytypic unification as
described by Jansson & Jeuring [1].

To try out the examples type `make' (or read the Makefile).
(The translated code runs in hugs)

The implementation requires PolyP - a compiler that translates
polytypic programs to Haskell. PolyP is available from 
  http://www.cse.chalmers.se/~patrikj/poly/polyp/

More information about polytypic programming can be found at
  http://www.cse.chalmers.se/~patrikj/poly/

[1] P. Jansson & J. Jeuring, Functional Pearl: Polytypic Unification
    Journal of Functional Programming, 8(5), 527-536, 1998.