On 07/09/2008 07:08 PM, Gabriel Dos Reis wrote: > Ralf Hemmecke <[EMAIL PROTECTED]> writes: > > [...] > > | In OpenAxiom: > | Every domain has type 'Domain'. Fine. > | Every category has type 'Category'. Fine. > | But also every category has type 'Domain'. That is not so nice. > ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ > > I don't know how that come to be -- if true, it is a surprise to me.
I only rephrased what I understood from Bill's mail. Bill I hope I cited you correctly. Gaby, if "every category has type 'Domain'" is false for OpenAxiom, that makes me relax. I simply don't know/understand too much of the internals. That Boot code is still too much for me. Ralf ------------------------------------------------------------------------- Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! Studies have shown that voting for your favorite open source project, along with a healthy diet, reduces your potential for chronic lameness and boredom. Vote Now at http://www.sourceforge.net/community/cca08 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
