Newest at the top
| 2025-11-17 20:25:30 +0100 | adamCS | (~adamCS@70.19.85.77) adamCS |
| 2025-11-17 20:25:15 +0100 | adamCS | (~adamCS@70.19.85.77) (Ping timeout: 244 seconds) |
| 2025-11-17 20:24:02 +0100 | deptype | (~deptype@2406:b400:3a:73c2:8e9e:5030:da68:3cf) (Quit: Leaving) |
| 2025-11-17 20:22:21 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-17 20:22:12 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-11-17 20:21:07 +0100 | Jackneill_ | (~Jackneill@188-143-82-72.pool.digikabel.hu) (Read error: Connection reset by peer) |
| 2025-11-17 20:20:16 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 256 seconds) |
| 2025-11-17 20:20:01 +0100 | <hololeap> | there's also this thing from lens: (??) :: Functor f => f (a -> b) -> a -> f b |
| 2025-11-17 20:19:00 +0100 | <monochrom> | err, (\f -> f x) <$> fs |
| 2025-11-17 20:18:37 +0100 | <monochrom> | = (\f -> f x) <*> fs |
| 2025-11-17 20:16:23 +0100 | <monochrom> | Wait, there is a law about fs <*> pure x. |
| 2025-11-17 20:15:26 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) (Read error: Connection reset by peer) |
| 2025-11-17 20:15:15 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-17 20:11:29 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-11-17 20:06:18 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 260 seconds) |
| 2025-11-17 20:03:32 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-11-17 19:57:41 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-17 19:57:17 +0100 | Xe_ | Xe |
| 2025-11-17 19:56:56 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-11-17 19:49:00 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-17 19:38:31 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-11-17 19:36:43 +0100 | <hololeap> | ye |
| 2025-11-17 19:36:34 +0100 | trickard_ | trickard |
| 2025-11-17 19:33:52 +0100 | <yin> | where fs :: [a -> b] |
| 2025-11-17 19:33:43 +0100 | <yin> | or rather `fs <*> pure x` |
| 2025-11-17 19:33:19 +0100 | <yin> | hololeap: common pattern i use is `f <*> pure x` |
| 2025-11-17 19:32:26 +0100 | kuribas | (~user@2a02-1810-2825-6000-2c81-b9d0-3939-7889.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-11-17 19:30:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-17 19:26:34 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 19:25:21 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-11-17 19:25:13 +0100 | Zemy | (~Zemy@2600:100c:b0a9:8436:7017:6dff:fea3:f591) (Ping timeout: 246 seconds) |
| 2025-11-17 19:23:43 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-11-17 19:22:48 +0100 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) nschoe |
| 2025-11-17 19:22:31 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:d977:548d:70c4:d88f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-17 19:21:56 +0100 | Vajb | (~Vajb@n6jd7kwb4e2quheg6tf-1.v6.elisa-mobile.fi) |
| 2025-11-17 19:21:37 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-17 19:21:28 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-17 19:21:04 +0100 | Zemy | (~Zemy@2600:100c:b0a9:8436:7017:6dff:fea3:f591) |
| 2025-11-17 19:21:03 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-17 19:20:39 +0100 | Zemy | (~Zemy@2600:100c:b0a9:8436:20e2:f5ff:fea2:5e88) (Read error: Connection reset by peer) |
| 2025-11-17 19:19:31 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-17 19:19:30 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-17 19:14:44 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-17 19:12:32 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-17 19:09:18 +0100 | myxos | (~myxos@2001:579:8380:f20:e6ab:8ef0:3a0a:e59c) (Ping timeout: 244 seconds) |
| 2025-11-17 19:06:51 +0100 | myxokephale | (~myxos@2001:579:8380:f20:6b9e:1a89:7816:af78) myxokephale |
| 2025-11-17 19:06:43 +0100 | Vajb | (~Vajb@n4dgb69h6dkio9s4tuj-1.v6.elisa-mobile.fi) (Ping timeout: 244 seconds) |
| 2025-11-17 19:06:38 +0100 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-17 19:02:42 +0100 | Vajb | (~Vajb@n4dgb69h6dkio9s4tuj-1.v6.elisa-mobile.fi) |
| 2025-11-17 19:02:00 +0100 | Vajb | (~Vajb@n60et6bw8o0r9fxdjbq-1.v6.elisa-mobile.fi) (Ping timeout: 245 seconds) |