Newest at the top
| 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) |
| 2025-11-11 07:22:58 +0100 | sm | (znc@plaintextaccounting/sm) sm |
| 2025-11-11 07:22:10 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-11-11 07:22:01 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-11-11 07:20:43 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 07:20:40 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 07:01:30 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:ed84:4ebe:de81:99a2) synchromesh |
| 2025-11-11 07:00:16 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:ed84:4ebe:de81:99a2) (Read error: Connection reset by peer) |
| 2025-11-11 06:58:12 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 06:57:54 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |