From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <32125c2033c0f63e5bb24548c7bc934f@hamnavoe.com>
To: 9fans@9fans.net
From: Richard Miller <9fans@hamnavoe.com>
Date: Wed,  2 Sep 2009 19:08:56 +0100
In-Reply-To: <5db2df69e768a7259b8a1e698abddd3f@coraid.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 8bit
Subject: Re: [9fans] nice quote
Topicbox-Message-UUID: 5f8180a2-ead5-11e9-9d60-3106f5b1d025

>> http://graphics.cs.williams.edu/archive/SweeneyHPG2009/TimHPG2009.pdf
>>
> on p. 43/44 i believe it is claimed that one
> cannot do CSP without pure functional
> programming.

(p ⇒ q) ⇏ (¬p ⇒ ¬q)