Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| > | But 'with x:A->B' is a category object so we should be able to say:
| > | | x:Category := with x:A->B
|
| Have you looked at aaa.asy after saying
| aldor -fasy aaa.as
| on the following file?
|
| ---BEGIN aaa.as
| #include "aldor"
| A: with == add;
| B: with == add;
| x: Category == with {x: A -> B}
| ---END aaa.as
I thought this whole discussion was about the OpenAxiom semantics.
-- 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
