Mercurial > repo
log quotes @ 320:7f6fa7f55aad
| age | author | description |
|---|---|---|
| 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 |