"Bill Page" <[EMAIL PROTECTED]> writes:
[...] | > Second, I would like to be able to define a domain such as | > | > MyVar(): SetCategory with | > coerce: forall (s: Symbol) . Variable s -> % | > -- ... | > == add | > Rep == Symbol | > forall(s: Symbol) . | > coerce(x: Variable s): % == per s | > -- ... | | Did you mean? | | coerce(x: Variable s): % == per Symbol No. I meant exactly to store the value s. -- Gaby ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
