Logs: liberachat/#haskell
| 2025-12-10 02:37:05 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-12-10 02:39:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 02:40:44 | × | Googulator51 quits (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-10 02:40:50 | → | Googulator81 joins (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) |
| 2025-12-10 02:44:33 | × | myxos quits (~myxos@2001:579:8380:f20:a43c:43a0:b765:7c89) (Ping timeout: 252 seconds) |
| 2025-12-10 02:46:48 | jmcantrell_ | is now known as jmcantrell |
| 2025-12-10 02:48:46 | → | myxos joins (~myxos@wsip-70-166-126-146.ph.ph.cox.net) |
| 2025-12-10 02:49:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 02:55:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-10 03:01:16 | × | xff0x_ quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 2025-12-10 03:04:28 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 03:04:41 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 03:05:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 03:10:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-10 03:15:41 | → | Googulator46 joins (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) |
| 2025-12-10 03:15:41 | × | Googulator81 quits (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-10 03:19:19 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-10 03:21:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 03:26:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 03:29:48 | × | Googulator46 quits (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-10 03:35:25 | → | ephemient joins (uid407513@user/ephemient) |
| 2025-12-10 03:37:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 03:42:33 | → | notzmv joins (~umar@user/notzmv) |
| 2025-12-10 03:42:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 03:53:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 03:58:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-10 04:03:57 | × | notzmv quits (~umar@user/notzmv) (Remote host closed the connection) |
| 2025-12-10 04:04:01 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-12-10 04:05:21 | → | notzmv joins (~umar@user/notzmv) |
| 2025-12-10 04:08:28 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-12-10 04:09:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 04:11:36 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 04:11:49 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 04:12:26 | trickard_ | is now known as trickard |
| 2025-12-10 04:16:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-10 04:17:47 | × | haskellbridge quits (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2025-12-10 04:17:56 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 04:18:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 04:19:47 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-10 04:21:51 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 04:23:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-10 04:26:44 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-10 04:34:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 04:35:19 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 2025-12-10 04:35:19 | ChanServ | sets mode +v haskellbridge |
| 2025-12-10 04:39:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-10 04:40:34 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-12-10 04:50:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 04:55:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 04:56:29 | × | skum quits (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2025-12-10 04:56:48 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 2025-12-10 05:06:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 05:10:51 | trickard_ | is now known as trickard |
| 2025-12-10 05:11:34 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 05:11:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-10 05:14:18 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 05:18:00 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 05:22:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 05:24:41 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 05:25:12 | × | wickedjargon quits (~user@64.114.24.74) (Read error: Connection reset by peer) |
| 2025-12-10 05:26:24 | <iqubic> | Is there a megaparsec combinator for parse any character in this string? |
| 2025-12-10 05:27:01 | <iqubic> | So, like parse either a single '#' or a single '.' or fail. |
| 2025-12-10 05:28:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 05:28:57 | <int-e> | `oneOf` (referenced from and implemented in terms of `satisfy`) |
| 2025-12-10 05:34:15 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-10 05:37:04 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-10 05:37:15 | trickard_ | is now known as trickard |
| 2025-12-10 05:38:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 05:44:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 05:44:38 | <iqubic> | Shoutout to 'unzip3' being a goated function |
| 2025-12-10 05:44:42 | <iqubic> | :t unzip3 |
| 2025-12-10 05:44:43 | <lambdabot> | [(a, b, c)] -> ([a], [b], [c]) |
| 2025-12-10 05:50:55 | × | dmead quits (~halloy975@2601:41:c300:ae80:354a:bc86:483c:6ece) (Quit: dmead) |
| 2025-12-10 05:54:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 05:59:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 06:01:42 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 2025-12-10 06:04:23 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 06:04:36 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 06:11:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 06:12:00 | trickard_ | is now known as trickard |
| 2025-12-10 06:13:07 | × | gentauro_ quits (~gentauro@91.226.144.99) (Read error: Connection reset by peer) |
| 2025-12-10 06:13:25 | → | gentauro joins (~gentauro@user/gentauro) |
| 2025-12-10 06:15:40 | → | bliminse joins (~bliminse@user/bliminse) |
| 2025-12-10 06:16:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 06:17:55 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 06:18:08 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 06:18:38 | mstruebing_ | is now known as mstruebing |
| 2025-12-10 06:23:17 | Athas_ | is now known as Athas |
| 2025-12-10 06:27:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 06:27:53 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-10 06:31:51 | → | Guest7 joins (~Guest93@38.49.92.193) |
| 2025-12-10 06:32:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-10 06:32:32 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-10 06:37:25 | <Guest7> | Hey y'all! I am learning how to write a type checker for System F (my type checker is for an extension of typed System F) and I am trying to understand how alpha equivalence works in the apply case: (e1 e2). For the sake of simplicity, I am renaming using Ints. Will (\lambda x.x) (\lambda y.y) get renamed to (\lambda 0.0) (\lambda 1.1) or (\lambda |
| 2025-12-10 06:37:25 | <Guest7> | 0.0) (\lambda 0.0)? |
| 2025-12-10 06:40:19 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-10 06:40:29 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-12-10 06:40:47 | <Guest7> | anyone? |
| 2025-12-10 06:43:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 06:47:26 | × | p3n quits (~p3n@217.198.124.246) (Quit: ZNC 1.10.1 - https://znc.in) |
All times are in UTC.