Newest at the top
| 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 |
| 2024-10-07 11:24:27 +0200 | <lortabac> | yes |
| 2024-10-07 11:24:12 +0200 | <kuribas> | lortabac: You have a project? |
| 2024-10-07 11:16:33 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-10-07 11:14:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-07 11:13:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 2024-10-07 11:10:20 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-10-07 11:10:03 +0200 | CiaoSen | (~Jura@2a05:5800:2e4:9e00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-07 11:10:03 +0200 | onliner10 | (~onliner10@user/onliner10) (Remote host closed the connection) |
| 2024-10-07 11:09:56 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-07 11:09:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2024-10-07 11:08:04 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-07 11:02:04 +0200 | ZLima12_ | ZLima12 |
| 2024-10-07 10:57:55 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-07 10:55:20 +0200 | <lortabac> | I'm coming with a couple of colleagues |
| 2024-10-07 10:53:33 +0200 | chele | (~chele@user/chele) chele |
| 2024-10-07 10:52:47 +0200 | <kuribas> | Anyone coming to munihac? |
| 2024-10-07 10:51:53 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-07 10:46:12 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-07 10:35:59 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-07 10:35:23 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |