Logs: liberachat/#haskell
| 2025-12-26 04:21:37 | × | tabemann quits (~tabemann@12.215.215.61) (Ping timeout: 264 seconds) |
| 2025-12-26 04:26:07 | <haskellbridge> | <Zemyla> You could potentially have a Map Monad instance, since the Ord constraint is on k, not a. The main problem is it doesn't let you implement pure. |
| 2025-12-26 04:29:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-26 04:30:51 | <haskellbridge> | <Zemyla> Map k is an alternate form of ReaderT k Maybe. |
| 2025-12-26 04:32:27 | → | jreicher joins (~user@user/jreicher) |
| 2025-12-26 04:37:32 | → | hsw joins (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) |
| 2025-12-26 04:37:36 | → | hsw_ joins (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) |
| 2025-12-26 04:37:45 | × | hsw_ quits (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-12-26 04:40:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 04:42:40 | → | tabemann joins (~tabemann@12.215.215.61) |
| 2025-12-26 04:45:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-26 04:46:18 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 260 seconds) |
| 2025-12-26 04:50:28 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 2025-12-26 04:54:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 04:59:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 05:01:33 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-12-26 05:05:27 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-26 05:10:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 05:14:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 05:18:06 | → | annamalai joins (~annamalai@157.32.132.85) |
| 2025-12-26 05:26:12 | → | merijn joins (~merijn@62.45.136.136) |
| 2025-12-26 05:30:55 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-12-26 05:31:15 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2025-12-26 05:34:03 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-12-26 05:36:15 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-26 05:36:33 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-26 05:36:52 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-26 05:40:22 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-12-26 05:41:32 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-12-26 05:41:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 05:47:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-26 05:57:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 06:01:33 | × | itaipu quits (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 2025-12-26 06:04:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 06:15:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 06:19:04 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-12-26 06:19:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-26 06:31:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 06:36:09 | × | pebble quits (~pebble@37.63.33.138) (Read error: Connection reset by peer) |
| 2025-12-26 06:36:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-26 06:46:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 06:51:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-26 06:55:32 | × | synchromesh quits (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) (Read error: Connection reset by peer) |
| 2025-12-26 06:55:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 06:56:06 | → | synchromesh joins (~john@2406:5a00:2412:2c00:68ff:586d:59bf:bb1) |
| 2025-12-26 07:00:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-26 07:05:58 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-12-26 07:06:08 | → | j1n37 joins (~j1n37@user/j1n37) |
| 2025-12-26 07:11:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 07:15:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-26 07:26:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 07:30:23 | × | annamalai quits (~annamalai@157.32.132.85) (Remote host closed the connection) |
| 2025-12-26 07:30:38 | → | annamalai joins (~annamalai@2409:4042:218b:8d26::2684:98a1) |
| 2025-12-26 07:31:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-26 07:42:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 07:46:17 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-26 07:47:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-26 07:56:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 08:03:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 08:14:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 08:15:01 | × | sroso quits (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2025-12-26 08:19:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-26 08:22:35 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-26 08:23:07 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-26 08:30:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 08:34:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 08:35:39 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-26 08:43:06 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-26 08:43:26 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-26 08:45:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 08:48:56 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-26 08:52:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 08:57:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 09:00:38 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-26 09:02:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-26 09:11:11 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-26 09:15:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 09:20:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-26 09:31:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 09:35:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 09:43:37 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-26 09:46:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 09:51:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-26 09:58:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 09:58:43 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-12-26 10:00:02 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-12-26 10:00:07 | ljdarj1 | is now known as ljdarj |
| 2025-12-26 10:03:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-26 10:13:25 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2025-12-26 10:14:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 10:18:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 10:26:38 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-26 10:27:36 | → | califax joins (~califax@user/califx) |
| 2025-12-26 10:28:23 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-12-26 10:28:48 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-12-26 10:28:50 | ljdarj1 | is now known as ljdarj |
| 2025-12-26 10:29:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-26 10:31:21 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-26 10:34:02 | → | Tuplanolla joins (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) |
| 2025-12-26 10:36:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
All times are in UTC.