# HG changeset patch
# User HackBot
# Date 1359821154 0
# Node ID cbfad121423e26959f6131d1c19a105ec4e1d69f
# Parent  2bc106b44a4597e3660653e3fe0d44647fc3f302
<elliott> addquote <shachaf> oerjan: What\'s cosubtyping?  <Phantom_Hoover> some sort of fusion of cosplay and type theory?

diff -r 2bc106b44a45 -r cbfad121423e quotes
--- a/quotes	Sat Feb 02 16:05:50 2013 +0000
+++ b/quotes	Sat Feb 02 16:05:54 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?