>> 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)
>> 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)