[Aldor-l] implementing aldor / new species approach

[Martin Rubey]

root <daly at axiom-developer.org> writes:

> Ring is implemented as a lisp object. You can put these into a list.

(2) -> l : List Ring := [Integer]
 
   Cannot convert an element of the construct to type Any .
(2) -> l : Ring := Integer
 
   Ring is a category, not a domain, and declarations require domains.

Martin

PS: PLEASE (!!!!) copy to aldor-combinat only stuff specific to the combinat project!