Logs: liberachat/#haskell
| 2025-11-17 19:20:01 | <hololeap> | there's also this thing from lens: (??) :: Functor f => f (a -> b) -> a -> f b |
| 2025-11-17 19:20:16 | × | m1dnight quits (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 256 seconds) |
| 2025-11-17 19:21:07 | × | Jackneill_ quits (~Jackneill@188-143-82-72.pool.digikabel.hu) (Read error: Connection reset by peer) |
| 2025-11-17 19:22:12 | → | m1dnight joins (~m1dnight@d8D861A17.access.telenet.be) |
| 2025-11-17 19:22:21 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-11-17 19:24:02 | × | deptype quits (~deptype@2406:b400:3a:73c2:8e9e:5030:da68:3cf) (Quit: Leaving) |
| 2025-11-17 19:25:15 | × | adamCS quits (~adamCS@70.19.85.77) (Ping timeout: 244 seconds) |
| 2025-11-17 19:25:30 | → | adamCS joins (~adamCS@70.19.85.77) |
| 2025-11-17 19:27:37 | → | weary-traveler joins (~user@user/user363627) |
| 2025-11-17 19:31:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 19:35:15 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 2025-11-17 19:35:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-17 19:45:43 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-17 19:46:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 19:51:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-17 19:58:04 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-17 19:58:08 | → | fp1 joins (~Thunderbi@159-255-247-115.bb.dnainternet.fi) |
| 2025-11-17 20:00:22 | × | jmcantrell quits (~weechat@user/jmcantrell) (Client Quit) |
| 2025-11-17 20:02:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 20:08:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-17 20:16:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 20:17:55 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-17 20:19:46 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-17 20:20:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-17 20:31:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 20:34:54 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 20:35:08 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 20:35:25 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-17 20:35:43 | × | synchromesh quits (~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) (Read error: Connection reset by peer) |
| 2025-11-17 20:36:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-17 20:37:23 | → | synchromesh joins (~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) |
| 2025-11-17 20:38:25 | × | Everything quits (~Everythin@88.155.1.132) (Quit: Lost terminal) |
| 2025-11-17 20:45:08 | <jackdk> | And if you don't want to pull that in (I'm usually depending on it anyway), it's `fmap ($ f)`, I think |
| 2025-11-17 20:47:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 20:49:28 | trickard_ | is now known as trickard |
| 2025-11-17 20:52:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-17 20:57:25 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-11-17 21:03:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 21:08:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 21:15:15 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-17 21:17:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 21:22:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 21:28:23 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-11-17 21:29:58 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-17 21:30:50 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2025-11-17 21:33:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 21:33:47 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-11-17 21:37:52 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-11-17 21:38:42 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-17 21:38:46 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-11-17 21:40:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-17 21:40:57 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-11-17 21:41:51 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-17 21:42:21 | × | ljdarj1 quits (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-11-17 21:47:11 | → | Dhark8 joins (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-11-17 21:50:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 21:50:19 | × | Shark8 quits (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 255 seconds) |
| 2025-11-17 21:53:43 | × | jangerma1 quits (~jangermad@104-54-32-17.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2025-11-17 21:55:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 22:01:12 | → | Square2 joins (~Square4@user/square) |
| 2025-11-17 22:02:43 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-17 22:03:46 | × | Square3 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-11-17 22:06:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 22:06:26 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-17 22:10:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-17 22:15:45 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-11-17 22:16:47 | × | fp1 quits (~Thunderbi@159-255-247-115.bb.dnainternet.fi) (Quit: fp1) |
| 2025-11-17 22:18:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 22:23:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-17 22:31:50 | → | sindu joins (~sindu@77.19.134.151.tmi.telenormobil.no) |
| 2025-11-17 22:34:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 22:35:11 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-11-17 22:38:43 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-17 22:39:07 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-11-17 22:39:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-17 22:40:02 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 22:40:14 | → | trickard joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 22:48:48 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-11-17 22:49:07 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-17 22:52:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 22:54:28 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-11-17 22:57:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 23:08:07 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-11-17 23:08:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 23:14:24 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-17 23:14:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-17 23:23:35 | × | auri_ quits (~auri@fsf/member/auri) () |
| 2025-11-17 23:24:47 | → | auri joins (~auri@fsf/member/auri) |
| 2025-11-17 23:26:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 23:30:42 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-11-17 23:31:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 23:34:31 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-11-17 23:34:52 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-17 23:42:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 23:42:00 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-17 23:42:09 | → | Zemy joins (~Zemy@2600:100c:b049:cf82:704c:ffff:fe60:9d5c) |
| 2025-11-17 23:42:29 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-17 23:43:06 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-11-17 23:44:56 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-17 23:46:36 | × | Zemy quits (~Zemy@2600:100c:b049:cf82:704c:ffff:fe60:9d5c) (Ping timeout: 256 seconds) |
All times are in UTC.