K 10 svn:author V 6 obraun K 8 svn:date V 27 2003-04-26T20:09:50.000000Z K 7 svn:log V 237 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/ END