Fri, 27 Apr 2012 11:06:35 +0000 |
HackBot |
<elliott> addquote <ion> 99 bugs in the bug tracker, 99 reports of bugs. Take one down and commit a fix, 106 bugs in the bug tracker.
|
Fri, 27 Apr 2012 10:31:54 +0000 |
HackBot |
<shachaf> addquote <elliott> `delquote 848
|
Fri, 27 Apr 2012 10:31:39 +0000 |
HackBot |
<elliott> delquote 848
|
Fri, 27 Apr 2012 10:31:30 +0000 |
HackBot |
<shachaf> addquote <shachaf> I want that map-from-mapM thing that Conor McBride's future language, Frank, will eventually describe in its manual (once it comes out).
|
Fri, 27 Apr 2012 10:26:21 +0000 |
HackBot |
<shubshub> delquote 848
|
Fri, 27 Apr 2012 10:25:54 +0000 |
HackBot |
<shachaf> addquote <elliott> you can `addquote like whatever you want it don't make no difference if i said it (hi monqy)
|
Fri, 27 Apr 2012 10:25:06 +0000 |
HackBot |
<elliott> delquote 848
|
Fri, 27 Apr 2012 10:24:59 +0000 |
HackBot |
<shubshub> addquote shubshub: !!!Batch
|
Fri, 27 Apr 2012 10:22:24 +0000 |
HackBot |
<elliott> delquote 848
|
Fri, 27 Apr 2012 10:22:15 +0000 |
HackBot |
<ion> addquote <shachaf> Forth and Agda are basically the same thing
|
Fri, 27 Apr 2012 10:16:19 +0000 |
HackBot |
<elliott> delquote 848
|
Fri, 27 Apr 2012 10:16:00 +0000 |
HackBot |
<shubshub> addquote <shubshub> mmmm nom nom
|
Fri, 27 Apr 2012 10:15:14 +0000 |
HackBot |
<elliott> delquote 848
|
Fri, 27 Apr 2012 10:15:01 +0000 |
HackBot |
<shubshub> addquote <shubshub> IM GOING TO EAT A FACE
|