Re: ASSERTION, QUESTION, SUGGESTION - final draft

From: Brandon Amundson (bamundson@bbn.com)
Date: 04/16/02 

To: tim finin <finin@cs.umbc.edu>
CC: daml-all@daml.org
Subject: Re: ASSERTION, QUESTION, SUGGESTION - final draft
References: <200204111950.g3BJor510850@harrier.lcs.mit.edu>	
		 <3CB5F40D.F6B2BCFA@ai.sri.com>
<p051015047c25c2001af1@[65.217.30.94]>
		 <200204151738.g3FHcF125485@harrier.lcs.mit.edu>
		 <3CBB192B.C0025BAB@cs.umbc.edu>
<p05101511b8e0dcae5ebf@[65.217.30.94]> <3CBB9A01.2E9C1BF4@cs.umbc.edu>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit



tim finin wrote:

I still predict that the logical end is a language
> like postscript -- good for machines and extreme hackers and bad for 
> the rest of us.

You mean:

/d{def}def/u{dup}d[0 -185 u 0 300 u]concat/q 5e-3 d/m{mul}d/z{A u m B u
m}d/r{rlineto}d/X -2 q 1{d/Y -2 q 2{d/A 0 d/B 0 d 64 -1 1{/f exch d/B
A/A z sub X add d B 2 m m Y add d z add 4 gt{exit}if/f 64 d}for f 64 div
setgray X Y moveto 0 q neg u 0 0 q u 0 r r r r fill/Y}for/X}for showpage

8-)

David.

This archive was generated by hypermail 2.1.4 : 03/26/03 EST