Easy way to troll @djspiewak: write useless type signatures on whiteboards.
-
-
Replying to @puffnfresh
@puffnfresh@djspiewak ooh, type trolling sounds like fun. start with "magic:: forall a . () -> a" ?1 reply 0 retweets 1 like -
Replying to @mwotton
@mwotton@puffnfresh Nah, bottom is a trivial type troll. Gotta be something that is categorically purposeless.3 replies 0 retweets 0 likes -
-
Replying to @puffnfresh
@puffnfresh@djspiewak but those are so useful! It doesn't really matter that they're not bijections, right?2 replies 0 retweets 0 likes -
Replying to @mwotton
@mwotton@puffnfresh@djspiewak you losers know we introduced Injection, right? Sad to see this, months down the road.1 reply 0 retweets 0 likes
Replying to @sritchie
@sritchie @mwotton @puffnfresh @djspiewak aw laugh at yourself more than others do.
1:36 AM - 18 Jul 2013
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.