Newest at the top
2024-10-07 13:25:53 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2024-10-07 13:24:54 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:c0b2:cecc:790e:8587) (Ping timeout: 246 seconds) |
2024-10-07 13:24:34 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-07 13:23:04 +0200 | tdammers_ | tdammers |
2024-10-07 13:21:42 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-10-07 13:21:16 +0200 | identity | (~identity@user/ZharMeny) identity |
2024-10-07 13:20:11 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.60)) |
2024-10-07 13:17:33 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-10-07 13:11:14 +0200 | xff0x | (~xff0x@2405:6580:b080:900:31d8:fed5:6c70:b7b9) |
2024-10-07 13:04:36 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
2024-10-07 13:03:34 +0200 | rosco | (~rosco@175.136.22.30) rosco |
2024-10-07 13:02:05 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
2024-10-07 13:01:43 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-07 12:59:06 +0200 | Digitteknohippie | Digit |
2024-10-07 12:53:48 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 252 seconds) |
2024-10-07 12:53:14 +0200 | Digit | (~user@user/digit) (Ping timeout: 272 seconds) |
2024-10-07 12:52:39 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2024-10-07 12:49:16 +0200 | identity | (~identity@user/ZharMeny) identity |
2024-10-07 12:41:39 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-10-07 12:39:52 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2024-10-07 12:22:20 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-07 12:21:34 +0200 | CiaoSen | (~Jura@2a05:5800:2e4:9e00:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
2024-10-07 12:10:29 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
2024-10-07 12:10:28 +0200 | arahael | (~arahael@user/arahael) arahael |
2024-10-07 12:10:10 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-10-07 12:09:57 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
2024-10-07 12:06:16 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-07 12:05:13 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-07 12:04:45 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
2024-10-07 12:00:17 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
2024-10-07 12:00:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-07 11:53:18 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-10-07 11:47:11 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-07 11:46:23 +0200 | <famubu> | jle`: Thanks. Let me try that. |
2024-10-07 11:45:25 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
2024-10-07 11:41:14 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
2024-10-07 11:40:59 +0200 | hsw__ | (~hsw@112-104-11-250.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
2024-10-07 11:40:55 +0200 | caubert | (~caubert@user/caubert) caubert |
2024-10-07 11:40:40 +0200 | caubert_ | (~caubert@user/caubert) (Quit: WeeChat 4.3.3) |
2024-10-07 11:40:15 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-07 11:34:42 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-10-07 11:33:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-07 11:31:08 +0200 | <lortabac> | *not doing anything |
2024-10-07 11:31:00 +0200 | <lortabac> | I have various options between "not doing nothing and keep using the hack" and "make a full-fledged GHC proposal to implement this exactly as I have it in mind" |
2024-10-07 11:30:05 +0200 | <lortabac> | but it's a proof of concept, a proper implementation would require modifying GHC |
2024-10-07 11:29:07 +0200 | <lortabac> | I've written a library to "fix" implicit parameters via a hack + a GHC plugin |
2024-10-07 11:28:02 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-07 11:27:33 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-07 11:26:39 +0200 | [exa] | curious |
2024-10-07 11:24:44 +0200 | <lortabac> | more like a GHC proposal |