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
|
Fri, 27 Apr 2012 10:14:43 +0000 |
HackBot |
<elliott> (unknown command)
|
Thu, 26 Apr 2012 20:14:47 +0000 |
HackBot |
<elliott> delquote 339
|