6d5cc32610
Constraint Handling Rules (CHRs). Chameleon implements the ideas described in ``A Theory of Overloading''. WWW: http://www.comp.nus.edu.sg/~sulzmann/chameleon/
8 lines
273 B
Text
8 lines
273 B
Text
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
|