FreshLib

FreshLib is a small library for playing with FreshML-style names and binding within Haskell. There are two versions:

FreshLib 0.1, a very simplistic implementation that shows how the basic ideas work for one type of names and simple name-abstraction. This approach works using Haskell 98 features only, no extensions are needed, but a lot of "boilerplate" code needs to be written for user-defined datatypes.
FreshLib 0.2, a more interesting implementation that uses scrap your boilerplate-style generic programming to eliminate almost all the boilerplate code needed in FreshLib 0.1. In addition, there is some support for user-defined forms of binding. This version uses several extensions to Haskell found only in ghc 6.4.
FreshLib 0.2.2, an update to FreshLib that should work with ghc 6.12.1 and the "syb-with-class" library (tested with version 0.6.1).
FreshLib-Rep2.tar.gz is a port of FreshLib to use the RepLib library. (Thanks to Ben Kavanagh for this port.)

A paper describing version 0.2 in more detail is available. FreshLib is a work in progress. Comments are welcome!