Chameleon is a Haskell-style language which allows for type programming via
Constraint Handling Rules (CHRs). Chameleon implements the ideas described in
``A Theory of Overloading''.
WWW: http://www.comp.nus.edu.sg/~sulzmann/chameleon/
-- Oliver Braun
obraun@FreeBSD.org