Newest at the top
| 2026-02-06 10:09:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-06 10:07:46 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:f0f8:d7ef:b8e:59f) |
| 2026-02-06 10:04:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 10:03:20 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-06 09:59:05 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-06 09:58:37 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-02-06 09:56:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-06 09:55:56 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-02-06 09:51:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 09:49:43 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-06 09:49:23 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-02-06 09:45:41 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-06 09:26:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-06 09:21:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 09:18:31 +0100 | chele | (~chele@user/chele) chele |
| 2026-02-06 09:18:00 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-06 09:13:51 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-06 09:12:19 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-06 09:12:12 +0100 | iamsleepy | (~weechat@user/iamsleepy) (Quit: WeeChat 4.7.1) |
| 2026-02-06 09:10:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-06 09:09:17 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2026-02-06 09:03:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 09:00:14 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-06 08:56:48 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-06 08:56:37 +0100 | divlamir_ | divlamir |
| 2026-02-06 08:56:37 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 2026-02-06 08:54:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-06 08:54:19 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-02-06 08:51:43 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e596:c016:94e2:5361) |
| 2026-02-06 08:50:31 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-06 08:50:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 08:48:33 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-06 08:39:46 +0100 | trickard_ | trickard |
| 2026-02-06 08:38:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-06 08:35:22 +0100 | <lambdabot> | Functor f => a -> f b -> f (a, b) |
| 2026-02-06 08:35:21 +0100 | <ski> | @type let strength :: Functor f => a -> f b -> f (a,b); strength = fmap . (,) in strength |
| 2026-02-06 08:35:14 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input `@' |
| 2026-02-06 08:35:13 +0100 | <ski> | > @type let strength :: Functor f => a -> f b -> f (a,b); strength = fmap . (,) in strength -- the other version |
| 2026-02-06 08:34:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 08:33:08 +0100 | <ski> | energizer : it's a version of "functorial strength" |
| 2026-02-06 08:32:05 +0100 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2026-02-06 08:30:19 +0100 | CryptLab | (~NSA@2a0d:5600:6:108::2e) (Ping timeout: 246 seconds) |
| 2026-02-06 08:23:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-06 08:18:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 08:11:46 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-06 08:07:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-06 08:04:52 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-06 08:02:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 08:01:58 +0100 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) krjst |
| 2026-02-06 08:01:37 +0100 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) (Quit: bye) |