Re: Tech Overview

From: Drew McDermott <drew.mcdermott@yale.edu>
Date: Sat Mar 04 2006 - 16:02:29 EST

> [David Martin]
> Drew McDermott wrote:
>
>
> The only thing I think probably *should* be deleted is the definitions
> of ControlConstructList and ControlConstructBag. The definitions of the
> control constructs themselves *could* be deleted; I guess I'm neutral on
> that. If they are, it might be nice to keep one or two of them and then
> comment that "for the remaining control constructs, the definitions will
> be omitted".

I'll make those changes and see if any other pruning is in order.

                                             -- Drew

--
[To unsubscribe to this list send an email to "majdart@bbn.com"
with the following text in the BODY of the message "unsubscribe daml-process"]
Received on Sat Mar 4 16:05:33 2006

This archive was generated by hypermail 2.1.8 : Sat Mar 04 2006 - 16:05:34 EST