From: Mike Dean (mdean@bbn.com)
Date: 06/03/03
We'll have our weekly telecon today (June 3) from 4-5pm EDT, 1-2pm PDT, and corresponding times in other locations. The dial-in numbers are U.S.: 866-779-0774 outside U.S.: +1-334-309-0263 After dialing, enter *7289913* (including stars) If you're asked, the chairperson is Mike Dean A parallel logged IRC session will be available on the #joint-committee channel at irc.daml.org (see https://www.daml.org/irc/ for the server password). Below is a draft agenda; additions are welcome. Mike agenda updates/additions announcements minutes deferred - see also [1] Rule Semantics [2] (Benjamin, et al - 30 min) treatment of equality Rules ASCII Syntax: Ordered and Unordered Options [3] (Harold, et al - 20 min) next week builtins [4 and follow-ups] [5] [1] http://www.daml.org/listarchive/joint-committee/1359.html [2] http://www.daml.org/listarchive/joint-committee/1346.html [3] http://www.daml.org/listarchive/joint-committee/1361.html [4] http://www.daml.org/listarchive/joint-committee/1362.html [5] http://www.w3.org/2000/10/swap/doc/Built-In
This archive was generated by hypermail 2.1.4 : 06/03/03 EST