[m-dev.] Here's an idea.

[Thomas Charles CONWAY]

Fergus Henderson, you write:
> Hmm.  How's this for another idea:
> 
> 	printf([X, S |+ "X = %%, S = %%"])
> 

So, is the declarative reading of the `|+' some kind of turnstile?
That's what it looks like (or maybe I've just been reading too much
sequent calculus). ;-)

Thomas
-- 
ZZ:wq!
^X^C
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.