| 2025-01-02 00:00:28 +0100 | Catty | catties |
| 2025-01-02 00:00:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 00:01:28 +0100 | vulpine | (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
| 2025-01-02 00:03:21 +0100 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2025-01-02 00:04:44 +0100 | mxs9 | (~mxs@user/mxs) mxs |
| 2025-01-02 00:11:39 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34 |
| 2025-01-02 00:12:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 00:17:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 00:26:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 00:28:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 00:33:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 00:33:50 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: leaving) |
| 2025-01-02 00:35:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-02 00:38:38 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-01-02 00:39:57 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-02 00:43:43 +0100 | Guest78 | (~Guest78@37.228.251.150) |
| 2025-01-02 00:45:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 00:47:57 +0100 | Guest78 | (~Guest78@37.228.251.150) (Client Quit) |
| 2025-01-02 00:49:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 00:50:11 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-01-02 00:57:11 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-01-02 01:03:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 01:04:00 +0100 | lol_ | (~lol@2603:3016:1e01:b9c0:480:d3aa:2a9:c319) |
| 2025-01-02 01:04:06 +0100 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Ping timeout: 244 seconds) |
| 2025-01-02 01:07:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 01:07:29 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:151e:d951:3b7c:15db) (Ping timeout: 245 seconds) |
| 2025-01-02 01:20:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 01:24:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 01:24:44 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-02 01:32:21 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.53) (Quit: Leaving) |
| 2025-01-02 01:38:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 01:38:32 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-02 01:42:20 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-01-02 01:45:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 01:46:09 +0100 | lol_ | jcarpenter2 |
| 2025-01-02 01:53:13 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-01-02 01:56:03 +0100 | sprotte24 | (~sprotte24@p200300d16f082c00111ee0f92f452098.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-02 01:56:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 02:01:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 02:01:31 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-01-02 02:02:10 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-02 02:05:02 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-01-02 02:10:26 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-02 02:14:05 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2025-01-02 02:15:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 02:19:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 02:26:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-01-02 02:31:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 02:35:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 02:42:18 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-02 02:45:59 +0100 | otto_s | (~user@p5b04447a.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-01-02 02:47:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 02:47:38 +0100 | otto_s | (~user@p5de2f94b.dip0.t-ipconnect.de) |
| 2025-01-02 02:48:01 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-02 02:52:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 03:00:51 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2025-01-02 03:04:04 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2025-01-02 03:08:53 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f705914636323d7efe9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-02 03:14:05 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-02 03:15:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 03:20:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 03:27:02 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.53) Jeanne-Kamikaze |
| 2025-01-02 03:31:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 03:35:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-02 03:35:42 +0100 | ft | (~ft@p3e9bc545.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-02 03:37:16 +0100 | ft | (~ft@p3e9bc62d.dip0.t-ipconnect.de) ft |
| 2025-01-02 03:46:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 03:51:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-02 03:52:33 +0100 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-01-02 04:02:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 04:05:59 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-02 04:07:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 04:17:57 +0100 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2025-01-02 04:18:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 04:25:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 04:28:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-01-02 04:37:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 04:39:25 +0100 | <remexre> | does anyone know what the statement of the orphan rule for multi-parameter typeclasses would be? |
| 2025-01-02 04:39:57 +0100 | <remexre> | the "at least one mentioned type is defined locally" condition wouldn't catch instance Foo Bar a and instance Foo a Baz, for instance |
| 2025-01-02 04:42:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-02 04:43:37 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-02 04:53:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 04:57:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 04:58:59 +0100 | housemate | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) housemate |
| 2025-01-02 05:06:30 +0100 | housemate | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2025-01-02 05:14:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 05:14:35 +0100 | aforemny_ | (~aforemny@2001:9e8:6ce6:6100:dea6:831c:52d:f2f8) aforemny |
| 2025-01-02 05:16:30 +0100 | aforemny | (~aforemny@i59F4C4B7.versanet.de) (Ping timeout: 276 seconds) |
| 2025-01-02 05:16:36 +0100 | housemate | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) housemate |
| 2025-01-02 05:16:47 +0100 | <remexre> | oh, the answer is "it doesn't guarantee that the instances are globally unique, just that non-globally-unique ones can be detected locally"... |
| 2025-01-02 05:18:31 +0100 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 244 seconds) |
| 2025-01-02 05:18:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 05:22:05 +0100 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 260 seconds) |
| 2025-01-02 05:22:49 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-02 05:25:08 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-01-02 05:30:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 05:35:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 05:39:10 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-02 05:40:18 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.53) (Quit: Leaving) |
| 2025-01-02 05:43:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-01-02 05:48:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 05:50:28 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-02 05:50:54 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-02 05:52:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 05:55:50 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-02 05:56:17 +0100 | housemate_ | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) housemate |
| 2025-01-02 05:56:30 +0100 | housemate | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 2025-01-02 05:58:05 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-02 05:59:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 06:00:47 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-01-02 06:03:33 +0100 | mxs9 | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-02 06:03:40 +0100 | housemate_ | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) (Ping timeout: 265 seconds) |
| 2025-01-02 06:05:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 06:18:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 06:21:45 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-02 06:23:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 06:25:50 +0100 | whatsupdoc_ | (uid509081@id-509081.hampstead.irccloud.com) whatsupdoc |
| 2025-01-02 06:28:38 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-02 06:31:23 +0100 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2025-01-02 06:41:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 06:44:25 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2025-01-02 06:44:44 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-02 06:46:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 06:52:58 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 265 seconds) |
| 2025-01-02 06:56:37 +0100 | orangeFlu | (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 248 seconds) |
| 2025-01-02 06:58:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 07:04:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-02 07:17:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 07:22:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 07:24:34 +0100 | michalz | (~michalz@185.246.207.222) |
| 2025-01-02 07:28:19 +0100 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 264 seconds) |
| 2025-01-02 07:34:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 07:34:37 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2025-01-02 07:35:23 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-01-02 07:39:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-02 07:50:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 07:52:11 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2025-01-02 07:55:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-02 08:01:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 08:07:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 08:20:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 08:24:20 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-02 08:25:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-02 08:32:18 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-01-02 08:32:43 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-02 08:37:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 08:41:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 08:43:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 08:46:20 +0100 | CiaoSen | (~Jura@2a05:5800:222:6300:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-02 09:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-02 09:00:42 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-02 09:19:01 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-02 09:23:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 09:34:32 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-02 09:41:51 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-01-02 09:42:00 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-01-02 09:48:24 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-02 09:52:26 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f110d9e6e69048fea1c.dip0.t-ipconnect.de) acidjnk |
| 2025-01-02 10:17:33 +0100 | CiaoSen | (~Jura@2a05:5800:222:6300:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2025-01-02 10:38:42 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-02 10:44:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 10:56:24 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-02 11:00:07 +0100 | shane | (~shane@ana.rch.ist) (Ping timeout: 264 seconds) |
| 2025-01-02 11:03:35 +0100 | sprotte24 | (~sprotte24@p200300d16f364900cdf0214719d60c58.dip0.t-ipconnect.de) |
| 2025-01-02 11:15:48 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-02 11:23:36 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 2025-01-02 11:43:54 +0100 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2025-01-02 11:44:46 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-02 11:51:11 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-02 11:54:15 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2025-01-02 11:54:29 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-02 12:23:55 +0100 | CiaoSen | (~Jura@2a05:5800:222:6300:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-02 12:25:19 +0100 | <GdeVolpiano> | Good time of the day and happy new Gregorian year, gentlepeople. |
| 2025-01-02 12:25:53 +0100 | <GdeVolpiano> | As you can guess from my difficult, but finally successful, attempt at upgrading cabal-fmt, I'm in "updating my IDE" mood these days. |
| 2025-01-02 12:26:02 +0100 | mari11261 | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-02 12:26:05 +0100 | <GdeVolpiano> | So I had a question: what is the status with formoulu? |
| 2025-01-02 12:26:14 +0100 | <GdeVolpiano> | From the package.mask file, it is masked because |
| 2025-01-02 12:27:50 +0100 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-01-02 12:27:54 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-02 12:28:39 +0100 | <GdeVolpiano> | 1 - it depends on text>=2, but if I read correctly, text-2.0.2 is available for ghc-9.4 and ghc-9.6 |
| 2025-01-02 12:28:44 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-02 12:28:44 +0100 | tnt2 | tnt1 |
| 2025-01-02 12:29:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 12:31:20 +0100 | <GdeVolpiano> | 2 - old versions used to depend on <ghc-lib-parser-9.6, but we now have fourmolu-0.14.0.0 in the repo, which is >=ghc-lib-parser-9.6. |
| 2025-01-02 12:32:21 +0100 | <GdeVolpiano> | Is there any blocking point left? |
| 2025-01-02 12:35:23 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-02 12:36:55 +0100 | <GdeVolpiano> | At least for ghc-9.6 and over (it depends on >=cabal-syntax-3.10 for 0.14.0.0, >=cabal-syntax-3.12 for 0.16.0.0) |
| 2025-01-02 12:37:21 +0100 | <GdeVolpiano> | Happy to work on updating the ebuild if needed |
| 2025-01-02 12:43:32 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-01-02 12:43:46 +0100 | mari11261 | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2025-01-02 12:44:58 +0100 | SlackCoder | (~SlackCode@208.26.70.132) SlackCoder |
| 2025-01-02 12:48:08 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-02 12:53:16 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-02 12:53:40 +0100 | SlackCoder | (~SlackCode@208.26.70.132) (Quit: Leaving) |
| 2025-01-02 12:59:13 +0100 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2025-01-02 13:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-02 13:00:21 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 248 seconds) |
| 2025-01-02 13:02:32 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 264 seconds) |
| 2025-01-02 13:03:52 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-02 13:07:40 +0100 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-02 13:18:54 +0100 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2025-01-02 13:20:24 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 2025-01-02 13:22:34 +0100 | ubert | (~Thunderbi@p200300ecdf117c291e6fdb0635c013e3.dip0.t-ipconnect.de) ubert |
| 2025-01-02 13:23:03 +0100 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2025-01-02 13:25:18 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 276 seconds) |
| 2025-01-02 13:34:21 +0100 | Square | (~Square@user/square) Square |
| 2025-01-02 13:38:56 +0100 | jespada | (~jespada@2800:a4:22f2:6500:9d09:5efe:8124:beef) jespada |
| 2025-01-02 14:05:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 14:21:27 +0100 | chris_on_linux | (~user@2a02:2149:861e:b700:224e:f6ff:fe4a:8927) chris_on_linux |
| 2025-01-02 14:23:03 +0100 | housemate | (~housemate@pa49-185-171-14.pa.vic.optusnet.com.au) housemate |
| 2025-01-02 14:25:59 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-01-02 14:26:35 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-01-02 14:37:25 +0100 | housemate | (~housemate@pa49-185-171-14.pa.vic.optusnet.com.au) (Ping timeout: 248 seconds) |
| 2025-01-02 14:41:59 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
| 2025-01-02 14:42:30 +0100 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2025-01-02 14:46:49 +0100 | housemate | (~housemate@pa49-184-8-92.pa.vic.optusnet.com.au) housemate |
| 2025-01-02 14:52:50 +0100 | AlexZenon_2 | (~alzenon@5.139.233.96) |
| 2025-01-02 14:53:45 +0100 | AlexZenon_2 | (~alzenon@5.139.233.96) (Client Quit) |
| 2025-01-02 14:55:40 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Read error: Connection reset by peer) |
| 2025-01-02 14:56:26 +0100 | alexherbo2 | (~alexherbo@2a01cb00864cea00ecfde33f0b68d056.ipv6.abo.wanadoo.fr) alexherbo2 |
| 2025-01-02 14:57:29 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
| 2025-01-02 14:59:01 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2025-01-02 15:10:22 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 252 seconds) |
| 2025-01-02 15:11:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 15:12:10 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2025-01-02 15:15:53 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2025-01-02 15:21:38 +0100 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2025-01-02 15:25:48 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection) |
| 2025-01-02 15:36:28 +0100 | shane | (~shane@ana.rch.ist) |
| 2025-01-02 15:36:53 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-02 15:38:09 +0100 | CiaoSen | (~Jura@2a05:5800:222:6300:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2025-01-02 15:52:40 +0100 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-01-02 15:56:44 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 2025-01-02 15:56:50 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-02 16:00:19 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-02 16:03:44 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-01-02 16:04:02 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2025-01-02 16:05:25 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 248 seconds) |
| 2025-01-02 16:10:25 +0100 | artu | (~artu@li90-184.members.linode.com) artu |
| 2025-01-02 16:11:42 +0100 | jespada | (~jespada@2800:a4:22f2:6500:9d09:5efe:8124:beef) (Ping timeout: 265 seconds) |