Bill Page writes:
[...]
| 'None' on the other hand is called a "domain without any values" but
| it is typically used in situations where one apparently needs to
| temporarily avoid (duck?) the type checking, e.g. in the domain 'Any',
| but also in several other places in Axiom:
None is known t
We seldom seem to make much progress with foundational issues in Axiom
(where I write Axiom in this email, it should be understood that I am
also referring to FriCAS and OpenAxiom) but I thought I would like to
bring up a subject that has bother me a little and ask for comments.
'None' and 'Void'
