Newest at the top
| 2025-01-11 11:49:17 +0100 | <kaol> | I then write "fmap (f1 . f2) $ g1 $ g2 x" instead. |
| 2025-01-11 11:48:19 +0100 | <kaol> | I find <$>'s precedence awkward. I tend to write code like "f1 . f2 <$> g1 $ g2 x" which I'd expect to work like "f1 . f2 <$> g1 (g2 x)" and not "(f1 . f2 <$> g1) (g2 x)". |
| 2025-01-11 11:41:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-11 11:36:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 11:32:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-11 11:30:56 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-11 11:30:36 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2025-01-11 11:29:27 +0100 | acidjnk | (~acidjnk@p200300d6e7283f9048e4a8ec3d592563.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-01-11 11:26:31 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) HarveyPwca |
| 2025-01-11 11:25:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 11:21:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 11:10:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-11 11:00:55 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-11 10:59:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 10:53:24 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Remote host closed the connection) |
| 2025-01-11 10:52:46 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-11 10:49:49 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) HarveyPwca |
| 2025-01-11 10:49:39 +0100 | acidjnk | (~acidjnk@p200300d6e7283f9048e4a8ec3d592563.dip0.t-ipconnect.de) acidjnk |
| 2025-01-11 10:49:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-11 10:45:15 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-11 10:44:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 10:33:39 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-01-11 10:33:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 10:31:43 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-01-11 10:30:11 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-11 10:28:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 10:18:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 10:16:33 +0100 | CiaoSen | (~Jura@2a05:5800:2ef:f000:ca4b:d6ff:fec1:99da) (Ping timeout: 265 seconds) |
| 2025-01-11 10:14:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-11 10:13:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 10:11:48 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 252 seconds) |
| 2025-01-11 10:06:54 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-11 10:02:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-11 10:00:23 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-11 09:59:10 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-11 09:58:46 +0100 | housemate | (~housemate@146.70.66.228) (Remote host closed the connection) |
| 2025-01-11 09:58:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 09:57:44 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-11 09:56:51 +0100 | housemate | (~housemate@146.70.66.228) (Read error: Connection reset by peer) |
| 2025-01-11 09:50:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-11 09:46:57 +0100 | mreh | (~matthew@host86-146-25-121.range86-146.btcentralplus.com) |
| 2025-01-11 09:46:06 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34 |
| 2025-01-11 09:45:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 09:45:31 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:b02a:8bb0:8f4f:58a0) (Ping timeout: 252 seconds) |
| 2025-01-11 09:42:28 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-11 09:41:27 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-11 09:40:21 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2025-01-11 09:39:08 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-11 09:38:10 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-11 09:35:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |