mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-24 04:33:24 +00:00
6d5cc32610
Constraint Handling Rules (CHRs). Chameleon implements the ideas described in ``A Theory of Overloading''. WWW: http://www.comp.nus.edu.sg/~sulzmann/chameleon/
9 lines
273 B
Plaintext
9 lines
273 B
Plaintext
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
|