Newest at the top
| 2024-11-05 12:03:15 +0100 | <tomsmeding> | kuribas: if it's a category, then what are its objects and its arrows? |
| 2024-11-05 12:03:14 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) HarveyPwca |
| 2024-11-05 11:56:16 +0100 | supercode | (~supercode@user/supercode) supercode |
| 2024-11-05 11:54:00 +0100 | <kuribas> | Then mapping an ADT into another one would be a functor? |
| 2024-11-05 11:53:53 +0100 | <kuribas> | Is an ADT a category? |
| 2024-11-05 11:53:16 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2024-11-05 11:45:45 +0100 | ash3en1 | ash3en |
| 2024-11-05 11:45:44 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 272 seconds) |
| 2024-11-05 11:44:52 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-11-05 11:43:27 +0100 | ash3en1 | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-05 11:42:45 +0100 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-11-05 11:40:25 +0100 | longlongdouble | (~longlongd@117.234.189.117) |
| 2024-11-05 11:35:29 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:7459:cd00:c885:3805) (Ping timeout: 252 seconds) |
| 2024-11-05 11:34:08 +0100 | <probie> | . is slightly easier to type than ∘, but with a proper input method, it's not _much_ harder. My normal setup for writing unicode maths characters in code is based on Agda's input method, so it's just `\o` (two key presses) |
| 2024-11-05 11:31:32 +0100 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) kronicmage |
| 2024-11-05 11:29:42 +0100 | <probie> | Handwriting is one thing, but it's the same amount of effort to type 马 as 馬 |
| 2024-11-05 11:29:25 +0100 | ash3en1 | ash3en |
| 2024-11-05 11:29:24 +0100 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) (Ping timeout: 265 seconds) |
| 2024-11-05 11:29:24 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 2024-11-05 11:29:18 +0100 | ash3en1 | (~Thunderbi@146.70.124.222) ash3en |
| 2024-11-05 11:25:13 +0100 | alp | (~alp@2001:861:e3d6:8f80:86cd:f9bc:2fcc:950e) |
| 2024-11-05 11:24:51 +0100 | alp | (~alp@static-176-175-89-30.ftth.abo.bbox.fr) (Remote host closed the connection) |
| 2024-11-05 11:24:33 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2024-11-05 11:17:48 +0100 | abyss | (~nandv@37.19.205.154) (Ping timeout: 265 seconds) |
| 2024-11-05 11:17:37 +0100 | libertyprime | (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) libertyprime |
| 2024-11-05 11:16:23 +0100 | emfrom | (~emfrom@37.171.102.197) |
| 2024-11-05 11:14:17 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2024-11-05 11:13:36 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 2024-11-05 11:09:34 +0100 | l-Shane-l | (~l-Shane-l@user/l-Shane-l) l-Shane-l |
| 2024-11-05 11:09:04 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2024-11-05 11:08:44 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-05 11:08:05 +0100 | misterfish | (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 255 seconds) |
| 2024-11-05 10:59:52 +0100 | ubert | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) ubert |
| 2024-11-05 10:58:31 +0100 | enikar | (~enikar@user/enikar) (Quit: WeeChat 3.0) |
| 2024-11-05 10:54:04 +0100 | rvalue- | rvalue |
| 2024-11-05 10:51:32 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-11-05 10:49:56 +0100 | cyphase | (~cyphase@user/cyphase) (Read error: Connection reset by peer) |
| 2024-11-05 10:49:26 +0100 | chele | (~chele@user/chele) chele |
| 2024-11-05 10:48:44 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2024-11-05 10:48:11 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-05 10:42:30 +0100 | <haskellbridge> | 广 / 廣 (wide, adj.) |
| 2024-11-05 10:42:30 +0100 | <haskellbridge> | <hellwolf> 书 / 書 (book) |
| 2024-11-05 10:41:26 +0100 | <Inst> | (since simplified Chinese, among other things, makes Chinese far faster to write in non-cursive forms) |
| 2024-11-05 10:41:02 +0100 | <Inst> | nice analogy, given that o takes forever to type whereas . is a keyboard default |
| 2024-11-05 10:39:26 +0100 | <merijn> | It's a bad extension that should feel bad about itself >.< |
| 2024-11-05 10:39:17 +0100 | <kaol> | I'll happily never use it myself. |
| 2024-11-05 10:38:52 +0100 | <merijn> | RecordDotSyntax exists solely to make Haskell's relatively clean grammar a confusing nightmare hellscape |
| 2024-11-05 10:38:38 +0100 | <haskellbridge> | <hellwolf> . to ∘ is simplified chinese to traditional chinese. |
| 2024-11-05 10:38:23 +0100 | <kaol> | That's just syntax. I'm thinking of type level mayhem. |
| 2024-11-05 10:36:33 +0100 | <Inst> | and RecordDotSyntax |