Newest at the top
2025-10-08 22:26:14 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:59f4:ea7:a30f:8ab4) synchromesh |
2025-10-08 22:24:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-08 22:24:44 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:59f4:ea7:a30f:8ab4) (Read error: Connection reset by peer) |
2025-10-08 22:23:53 +0200 | <haskellbridge> | <Morj> That there is an overload may be a bad thing, but it can't be changed already, so |
2025-10-08 22:23:31 +0200 | <haskellbridge> | <Morj> Same for # in names, overloaded labels and an operator by itself |
2025-10-08 22:22:39 +0200 | <haskellbridge> | <Morj> I think it's a good thing, to disambiguate from a user-defined type operator |
2025-10-08 22:22:36 +0200 | <monochrom> | My real use case is Proxy @MyType |
2025-10-08 22:21:40 +0200 | <monochrom> | In type applications, the syntax "[] @ Int" is rejected, it has to be "[] @Int". :( |
2025-10-08 22:21:17 +0200 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
2025-10-08 22:20:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-08 22:18:19 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
2025-10-08 22:15:35 +0200 | acarrico | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
2025-10-08 22:15:28 +0200 | Beowulf | (florian@2a01:4f9:3b:2d56::2) |
2025-10-08 22:15:23 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
2025-10-08 22:09:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-08 22:08:24 +0200 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
2025-10-08 22:06:44 +0200 | <haskellbridge> | <Morj> I know it's not the right language, but still |
2025-10-08 22:06:10 +0200 | <haskellbridge> | <Morj> Anyone in this chat going to the eurorust conference tomorrow? |
2025-10-08 22:05:38 +0200 | Googulator96 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
2025-10-08 22:05:33 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-08 22:04:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-08 22:04:35 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-10-08 22:04:07 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
2025-10-08 22:02:30 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-10-08 22:01:03 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-10-08 22:00:35 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-10-08 21:56:51 +0200 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
2025-10-08 21:54:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-08 21:49:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-08 21:44:54 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
2025-10-08 21:44:43 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-08 21:42:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-10-08 21:37:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-08 21:34:13 +0200 | ljdarj1 | ljdarj |
2025-10-08 21:34:13 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-10-08 21:30:37 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-10-08 21:26:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-10-08 21:25:32 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-10-08 21:25:19 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-08 21:22:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-08 21:15:05 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-10-08 21:14:37 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds) |
2025-10-08 21:13:43 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-10-08 21:12:30 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-10-08 21:10:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-08 21:10:51 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-10-08 21:10:34 +0200 | Jackneill | (~Jackneill@188-143-82-121.pool.digikabel.hu) Jackneill |
2025-10-08 21:08:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-10-08 21:05:13 +0200 | Googulator48 | Googulator |
2025-10-08 21:04:55 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |