Bill Page writes:
| On Wed, Apr 1, 2009 at 11:27 PM, Gabriel Dos Reis wrote:
| >
| > In general, I like the abstract datatype approach taken by both
| > OpenAxiom and Aldor. I would like to see critical use cases and
| > sound programming styles or scalable idioms that are eased by
| > exposing
Bill Page writes:
[...]
| Notice that the "add" keyword introduces a domain from which some code
| and it's associated **representation** while be inherited, so really
| there is no need to specify Rep in the following case:
|
| Foo(...): with
| ...
| == OldDomain add
| ... re
