Hello Stephen, Could you also state your understanding of what Category, Type, domain etc. actually mean.
Would be nice if you could enter your definitions into http://axiom-wiki.newsynthesis.org/SandboxTypeDefinitions in particular, I would be interested to know whether 'Type' in Aldor is an Aldor-category, ie. not only Type: Type but also Type: Category. Thank you in advance Ralf PS: Related link: http://axiom.svn.sourceforge.net/viewvc/axiom/trunk/axiom/src/algebra/coerce.spad.pamphlet?revision=651&view=markup where a definition says Type(): Category == with nil On 07/09/2008 01:42 AM, Gabriel Dos Reis wrote: > On Tue, Jul 8, 2008 at 5:26 PM, Ralf Hemmecke <[EMAIL PROTECTED]> wrote: > >> Somehow I now have the impression that Aldor-Type and OpenAxiom-Type are >> different. That "Type" is a category in OpenAxiom would have never come >> to my mind in Aldor. > > Notice that, as far as I can determine, Type is a category is all current > AXIOM > systems. > > -- Gaby ------------------------------------------------------------------------- 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
