Logs: liberachat/#haskell
| 2025-10-03 21:39:14 | × | tromp quits (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-03 21:40:28 | × | peterbecich quits (~Thunderbi@47.149.198.150) (Ping timeout: 256 seconds) |
| 2025-10-03 21:45:59 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-10-03 21:47:26 | × | xdminsy quits (~xdminsy@117.147.71.54) (Read error: Connection reset by peer) |
| 2025-10-03 21:48:25 | → | xdminsy joins (~xdminsy@117.147.71.54) |
| 2025-10-03 21:49:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 21:49:48 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-10-03 21:53:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-03 21:55:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 21:59:07 | × | bgamari quits (~bgamari@64.223.225.237) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-03 22:00:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-03 22:01:28 | → | bgamari joins (~bgamari@64.223.225.237) |
| 2025-10-03 22:02:17 | × | olivial quits (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2025-10-03 22:02:54 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2025-10-03 22:11:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 22:13:01 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-03 22:13:43 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 240 seconds) |
| 2025-10-03 22:15:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-03 22:17:13 | × | Square quits (~Square@user/square) (Ping timeout: 250 seconds) |
| 2025-10-03 22:23:33 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 2025-10-03 22:26:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 22:27:37 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-10-03 22:30:54 | Pixi__ | is now known as Pixi |
| 2025-10-03 22:31:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-03 22:36:08 | → | Inline_ joins (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-03 22:36:31 | → | weary-traveler joins (~user@user/user363627) |
| 2025-10-03 22:38:15 | × | Inline quits (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2025-10-03 22:41:35 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-10-03 22:41:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 22:43:42 | × | Inline_ quits (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-10-03 22:44:07 | → | Inline_ joins (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-03 22:44:54 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 2025-10-03 22:45:04 | → | ZLima12 joins (~zlima12@user/meow/ZLima12) |
| 2025-10-03 22:46:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-03 22:52:31 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
| 2025-10-03 22:53:01 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-03 22:53:08 | Inline_ | is now known as Inline |
| 2025-10-03 22:57:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 23:04:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-03 23:04:27 | → | Inline_ joins (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-03 23:07:49 | × | Inline quits (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2025-10-03 23:15:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 23:20:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-03 23:20:33 | × | craunts79 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-03 23:21:38 | → | craunts79 joins (~craunts@136.158.7.194) |
| 2025-10-03 23:29:52 | <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-03 23:30:19 | <dcpagan> | Codensity does not have callCC. |
| 2025-10-03 23:30:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 23:32:10 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-10-03 23:34:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-03 23:46:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 23:46:27 | × | sprotte24 quits (~sprotte24@p200300d16f128900a1bcd52eeb6ae479.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-10-03 23:50:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-10-04 00:01:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 00:05:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 00:07:46 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-10-04 00:09:08 | × | acidjnk quits (~acidjnk@p200300d6e7171926fced4e6a2864912e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-10-04 00:09:08 | → | EvanR joins (~EvanR@user/evanr) |
| 2025-10-04 00:16:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 00:21:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-04 00:32:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 00:33:59 | × | craunts79 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-04 00:39:14 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-04 00:39:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 00:48:08 | <dcpagan> | Does [Oleg Kiselyov](https://okmij.org/ftp/) have a GitHub? |
| 2025-10-04 00:50:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 00:51:42 | × | trickard quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-04 00:51:56 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-04 00:54:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 01:03:22 | × | Inline_ quits (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2025-10-04 01:05:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 01:09:20 | × | yin quits (~zero@user/zero) (Ping timeout: 240 seconds) |
| 2025-10-04 01:10:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-04 01:11:13 | × | trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-04 01:11:27 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-04 01:11:33 | → | yang_ joins (~zero@user/zero) |
| 2025-10-04 01:21:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 01:25:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 01:34:31 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 2025-10-04 01:36:26 | × | xff0x quits (~xff0x@2405:6580:b080:900:6719:ade:f85a:7f1a) (Ping timeout: 248 seconds) |
| 2025-10-04 01:36:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 01:41:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 01:44:35 | trickard_ | is now known as trickard |
| 2025-10-04 01:52:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 01:57:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 01:59:39 | → | xff0x joins (~xff0x@2405:6580:b080:900:6719:ade:f85a:7f1a) |
| 2025-10-04 02:07:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 02:12:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 02:17:06 | → | peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) |
| 2025-10-04 02:17:36 | glguy | is now known as ghoulguy |
| 2025-10-04 02:21:15 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-10-04 02:21:31 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-10-04 02:23:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 02:27:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-04 02:29:49 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2025-10-04 02:34:17 | → | gcvvcxvhf joins (~gcvvcxvhf@103.183.205.165) |
| 2025-10-04 02:38:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 02:44:10 | × | td_ quits (~td@i5387093E.versanet.de) (Ping timeout: 248 seconds) |
| 2025-10-04 02:45:46 | → | fgarcia joins (~nu@user/fgarcia) |
| 2025-10-04 02:46:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
All times are in UTC.