2025/11/11

Newest at the top

2025-11-11 10:14:58 +0100hiredman(~hiredman@frontier1.downey.family) hiredman
2025-11-11 10:14:42 +0100kmein(~weechat@user/kmein) kmein
2025-11-11 10:14:40 +0100tabemann(~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 256 seconds)
2025-11-11 10:14:40 +0100haetsal(~quassel@221.138.168.192) (Ping timeout: 256 seconds)
2025-11-11 10:14:40 +0100bcksl(~bcksl@user/bcksl) (Ping timeout: 256 seconds)
2025-11-11 10:14:40 +0100hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 256 seconds)
2025-11-11 10:14:40 +0100gorignak(~gorignak@user/gorignak) (Remote host closed the connection)
2025-11-11 10:13:06 +0100travisb_(~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2025-11-11 10:12:23 +0100kmein(~weechat@user/kmein) (Quit: ciao kakao)
2025-11-11 10:11:55 +0100polykernel(~polykerne@user/polykernel) polykernel
2025-11-11 10:11:42 +0100polykernel(~polykerne@user/polykernel) (Ping timeout: 256 seconds)
2025-11-11 10:07:00 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-11 10:05:28 +0100tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 246 seconds)
2025-11-11 10:00:45 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-11 09:55:29 +0100trickard_trickard
2025-11-11 09:49:42 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-11-11 09:49:24 +0100olivial(~benjaminl@user/benjaminl) (Ping timeout: 260 seconds)
2025-11-11 09:47:45 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
2025-11-11 09:40:47 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-11 09:39:31 +0100haetsal(~quassel@221.138.168.192)
2025-11-11 09:36:42 +0100jreicher(~user@user/jreicher) jreicher
2025-11-11 09:33:59 +0100haetsal(~quassel@221.138.168.192) (Remote host closed the connection)
2025-11-11 09:32:36 +0100jreicher(~user@user/jreicher) (Read error: Connection reset by peer)
2025-11-11 09:30:59 +0100jreicher(~user@user/jreicher) jreicher
2025-11-11 09:28:06 +0100qqe(~qqq@185.54.21.203) (Quit: Lost terminal)
2025-11-11 09:26:31 +0100jreicher(~user@user/jreicher) (Read error: Connection reset by peer)
2025-11-11 09:20:54 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-11 09:12:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-11 09:08:14 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-11-11 09:07:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-11 09:03:24 +0100jreicher(~user@user/jreicher) jreicher
2025-11-11 09:02:35 +0100jreicher(~user@user/jreicher) (Read error: Connection reset by peer)
2025-11-11 09:02:22 +0100tromp(~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d)
2025-11-11 09:00:20 +0100jreicher(~user@user/jreicher) jreicher
2025-11-11 08:57:50 +0100jreicher(~user@user/jreicher) (Read error: Connection reset by peer)
2025-11-11 08:56:54 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2025-11-11 08:56:45 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-11 08:56:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-11 08:51:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-11 08:43:11 +0100 <dibblego> found it, https://hackage.haskell.org/package/comonad-5.0.9/docs/Control-Comonad-Trans-Env.html#t:EnvT
2025-11-11 08:42:18 +0100divlamir(~divlamir@user/divlamir) divlamir
2025-11-11 08:39:22 +0100 <jreicher> I think the answer might be X can be anything then? I'm not sure I understand the question...
2025-11-11 08:38:11 +0100divlamir(~divlamir@user/divlamir) (Ping timeout: 256 seconds)
2025-11-11 08:34:57 +0100 <dibblego> I made it up, I want the data type X from a library
2025-11-11 08:34:35 +0100 <jreicher> dibblego: what's the context for your question? Where did that snippet come from?
2025-11-11 08:34:25 +0100 <jreicher> I think this is what I was after earlier https://hackage.haskell.org/package/ghc-prim-0.13.0/docs/GHC-Prim.html#g:24
2025-11-11 08:32:36 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-11-11 08:29:59 +0100divlamir(~divlamir@user/divlamir) divlamir
2025-11-11 08:27:59 +0100divlamir(~divlamir@user/divlamir) (Ping timeout: 256 seconds)
2025-11-11 08:21:46 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds)