more proofs

David Manifold dem@tunes.org
Fri, 12 Jun 1998 12:05:53 +0000 (GMT)


A "proof" attached to some module, is the necessary information needed to
integrate the module into the system.  When downloading modules you will
be able to download a custom proof that is the minimal amount of
information needed to integrate the module with your own system.  I think
I should stop using the word 'proof' because it is exactly the same as
saying 'specification', and all objects are distributed as specifications
(whatever form is necessary for the system to understand it).

David Manifold <dem@tunes.org>