On 03/01/2011 08:37 AM, David Matthews wrote:
On 28/02/2011 17:07, Yue Li wrote:
On 02/28/2011 07:55 AM, David Matthews wrote:
I've added a CodeTree sub-structure to the PolyML structure which
makes the codetree available to ML programs. This just passes through
the internal construction functi
On 28/02/2011 17:07, Yue Li wrote:
On 02/28/2011 07:55 AM, David Matthews wrote:
I've added a CodeTree sub-structure to the PolyML structure which
makes the codetree available to ML programs. This just passes through
the internal construction functions. To build a codetree you just call
the cons