From: Lionel Thiry <lthiryidontwantspam@...>
Date: 2004-05-01T19:34:00+09:00
Subject: Re: Lazy evaluation (evil)

Simon Strandgaard a �crit :

> Florian Gross <flgr@ccan.de> wrote:
> 
>>ts wrote:
>>
>>> Well, this is a P language for me this ...
>>
>>It should look more like a very powerful S language which is a major 
>>influence of Ruby to you.
> 
> 
> 
> What is S and P language ?   
Solving and Proving, as I could understand.
And R is Ruby I suppose.

Lio