2025-10-04 00:00:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 00:01:28 +0200 | bgamari | (~bgamari@64.223.225.237) |
2025-10-04 00:02:17 +0200 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
2025-10-04 00:02:54 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2025-10-04 00:11:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 00:13:01 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-10-04 00:13:43 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 240 seconds) |
2025-10-04 00:15:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 00:17:13 +0200 | Square | (~Square@user/square) (Ping timeout: 250 seconds) |
2025-10-04 00:23:33 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
2025-10-04 00:26:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 00:27:37 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
2025-10-04 00:30:54 +0200 | Pixi__ | Pixi |
2025-10-04 00:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 00:36:08 +0200 | Inline_ | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 00:36:31 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-10-04 00:38:15 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
2025-10-04 00:41:35 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-10-04 00:41:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 00:43:42 +0200 | Inline_ | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-10-04 00:44:07 +0200 | Inline_ | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 00:44:54 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
2025-10-04 00:45:04 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
2025-10-04 00:46:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-10-04 00:52:31 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
2025-10-04 00:53:01 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-10-04 00:53:08 +0200 | Inline_ | Inline |
2025-10-04 00:57:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 01:04:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 01:04:27 +0200 | Inline_ | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 01:07:49 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
2025-10-04 01:15:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 01:20:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 01:20:33 +0200 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
2025-10-04 01:21:38 +0200 | craunts79 | (~craunts@136.158.7.194) |
2025-10-04 01:29:52 +0200 | <dcpagan> | With regard to [Control.Monad.Trans.Cont.ContT](https://hackage-content.haskell.org/package/transformers-0.6.2.0/docs/Control-Monad-Trans-Cont.html), is there a difference between using callCC and using delimited continuations via reset and shift? |
2025-10-04 01:30:19 +0200 | <dcpagan> | Codensity does not have callCC. |
2025-10-04 01:30:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 01:32:10 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-10-04 01:34:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 01:46:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 01:46:27 +0200 | sprotte24 | (~sprotte24@p200300d16f128900a1bcd52eeb6ae479.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-10-04 01:50:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-10-04 02:01:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 02:05:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 02:07:46 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
2025-10-04 02:09:08 +0200 | acidjnk | (~acidjnk@p200300d6e7171926fced4e6a2864912e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2025-10-04 02:09:08 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2025-10-04 02:16:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 02:21:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-04 02:32:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 02:33:59 +0200 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
2025-10-04 02:39:14 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-10-04 02:39:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 02:48:08 +0200 | <dcpagan> | Does [Oleg Kiselyov](https://okmij.org/ftp/) have a GitHub? |
2025-10-04 02:50:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 02:51:42 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-04 02:51:56 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
2025-10-04 02:54:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 03:03:22 +0200 | Inline_ | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
2025-10-04 03:05:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 03:09:20 +0200 | yin | (~zero@user/zero) (Ping timeout: 240 seconds) |
2025-10-04 03:10:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-10-04 03:11:13 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-04 03:11:27 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
2025-10-04 03:11:33 +0200 | yang_ | (~zero@user/zero) zero |
2025-10-04 03:21:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 03:25:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 03:34:31 +0200 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
2025-10-04 03:36:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6719:ade:f85a:7f1a) (Ping timeout: 248 seconds) |
2025-10-04 03:36:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 03:41:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 03:44:35 +0200 | trickard_ | trickard |
2025-10-04 03:52:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 03:57:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 03:59:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6719:ade:f85a:7f1a) |