Ralf Hemmecke <[EMAIL PROTECTED]> writes: | Why is this a mail to axiom-mail instead of axiom-developer?
because it is about use of Axiom. I'm wearing my Axiom user hat here. | On 08/21/2006 01:22 AM, Gabriel Dos Reis wrote: | > Hi, | > The SPAD compiler accepts and happily compiles this: | > )abbrev category FOO Foo | > ++ A Foo is something we can foo with. | > Foo(m : ($, $) ->$) : Category == SetCategory with | > ++ A Foo has a foo | > foo : ($, $) -> $ Is it a feature or a bug? [Similar Aldor | > code is rejected] | | Nobody can say whether bug or feature, because there is no strict | definition of the SPAD language. still, we have an Axiom library written in something... I'll appreciate an explanation of whether it is supposed to have any at all. -- Gaby _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
