Changes http://wiki.axiom-developer.org/348EqualityInAny/diff
--
http://www.aldor.org/docs/HTML/chap26.html#24
Does not seem to give much information about Object except::
Description:
'Object(C)' implements dynamic objects, pairing data values with associated
domains.
and that it exports two functions::
object : (T: C, T) -> %
'object(T, t)', where the type of `t' is `T', creates on object of the
domain.
avail : % -> (T: C, T)
Can you say more about this domain and why you "like it much better"?
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
