Newest at the top
| 2025-11-11 09:40:47 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 09:39:31 +0100 | haetsal | (~quassel@221.138.168.192) |
| 2025-11-11 09:36:42 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-11 09:33:59 +0100 | haetsal | (~quassel@221.138.168.192) (Remote host closed the connection) |
| 2025-11-11 09:32:36 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-11 09:30:59 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-11 09:28:06 +0100 | qqe | (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 2025-11-11 09:26:31 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-11 09:20:54 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 09:12:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-11 09:08:14 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-11 09:07:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-11 09:03:24 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-11 09:02:35 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-11 09:02:22 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) |
| 2025-11-11 09:00:20 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-11 08:57:50 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-11 08:56:54 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-11 08:56:45 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-11 08:56:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-11 08:51:16 +0100 | merijn | (~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 +0100 | divlamir | (~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 +0100 | divlamir | (~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 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-11 08:29:59 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-11-11 08:27:59 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 256 seconds) |
| 2025-11-11 08:21:46 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-11-11 08:20:23 +0100 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-11 08:11:10 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-11 08:09:46 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-11 08:08:31 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 08:08:17 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 08:07:50 +0100 | <dibblego> | data X f a b = X (a, f b) -- what is X? |
| 2025-11-11 07:57:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-11 07:57:17 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-11 07:56:37 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-11 07:53:25 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-11 07:53:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-11 07:52:46 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-11 07:52:21 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-11 07:52:03 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-11-11 07:50:10 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-11 07:30:00 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-11 07:29:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-11 07:28:06 +0100 | jreicher | (~user@user/jreicher) (Quit: Beer) |