# HG changeset patch
# User HackBot
# Date 1359821145 0
# Node ID 21c353600d15faf6ea5248c55c1a961e403fa68d
# Parent  98e571aa567d5b1f8d5dd6295a44a2da2f2a186a
<elliott> addquote <shachaf> oerjan: What\'s cosubtyping  <Phantom_Hoover> some sort of fusion of cosplay and type theory?

diff -r 98e571aa567d -r 21c353600d15 quotes
--- a/quotes	Sat Feb 02 12:54:44 2013 +0000
+++ b/quotes	Sat Feb 02 16:05:45 2013 +0000
@@ -947,3 +947,4 @@
 <augur> DIE  <augur> oh hey elliott
 <shachaf> what are some good concurrency primitives  <ais523> shachaf: how primitive do you want?
 <oerjan> maybe i was violated by a pole once
+<shachaf> oerjan: What's cosubtyping  <Phantom_Hoover> some sort of fusion of cosplay and type theory?