| 2025-01-02 00:03:07 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 00:04:00 +0000 | lol_ | (~lol@2603:3016:1e01:b9c0:480:d3aa:2a9:c319) |
| 2025-01-02 00:04:06 +0000 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Ping timeout: 244 seconds) |
| 2025-01-02 00:07:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 00:07:29 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:151e:d951:3b7c:15db) (Ping timeout: 245 seconds) |
| 2025-01-02 00:20:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 00:24:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 00:24:44 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-02 00:32:21 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.53) (Quit: Leaving) |
| 2025-01-02 00:38:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 00:38:32 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-02 00:42:20 +0000 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-01-02 00:45:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 00:46:09 +0000 | lol_ | jcarpenter2 |
| 2025-01-02 00:53:13 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-01-02 00:56:03 +0000 | sprotte24 | (~sprotte24@p200300d16f082c00111ee0f92f452098.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-02 00:56:47 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 01:01:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 01:01:31 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-01-02 01:02:10 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-02 01:05:02 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-01-02 01:10:26 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-02 01:14:05 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2025-01-02 01:15:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 01:19:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 01:26:19 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-01-02 01:31:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 01:35:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 01:42:18 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-02 01:45:59 +0000 | otto_s | (~user@p5b04447a.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-01-02 01:47:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 01:47:38 +0000 | otto_s | (~user@p5de2f94b.dip0.t-ipconnect.de) |
| 2025-01-02 01:48:01 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-02 01:52:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 02:00:51 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2025-01-02 02:04:04 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2025-01-02 02:08:53 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f705914636323d7efe9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-02 02:14:05 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-02 02:15:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 02:20:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 02:27:02 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.53) Jeanne-Kamikaze |
| 2025-01-02 02:31:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 02:35:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-02 02:35:42 +0000 | ft | (~ft@p3e9bc545.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-02 02:37:16 +0000 | ft | (~ft@p3e9bc62d.dip0.t-ipconnect.de) ft |
| 2025-01-02 02:46:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 02:51:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-02 02:52:33 +0000 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-01-02 03:02:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 03:05:59 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-02 03:07:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 03:17:57 +0000 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2025-01-02 03:18:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 03:25:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 03:28:27 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-01-02 03:37:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 03:39:25 +0000 | <remexre> | does anyone know what the statement of the orphan rule for multi-parameter typeclasses would be? |
| 2025-01-02 03:39:57 +0000 | <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 03:42:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-02 03:43:37 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-02 03:53:25 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 03:57:44 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 03:58:59 +0000 | housemate | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) housemate |
| 2025-01-02 04:06:30 +0000 | 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 04:14:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 04:14:35 +0000 | aforemny_ | (~aforemny@2001:9e8:6ce6:6100:dea6:831c:52d:f2f8) aforemny |
| 2025-01-02 04:16:30 +0000 | aforemny | (~aforemny@i59F4C4B7.versanet.de) (Ping timeout: 276 seconds) |
| 2025-01-02 04:16:36 +0000 | housemate | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) housemate |
| 2025-01-02 04:16:47 +0000 | <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 04:18:31 +0000 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 244 seconds) |
| 2025-01-02 04:18:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 04:22:05 +0000 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 260 seconds) |
| 2025-01-02 04:22:49 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-02 04:25:08 +0000 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-01-02 04:30:23 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 04:35:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 04:39:10 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-02 04:40:18 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.53) (Quit: Leaving) |
| 2025-01-02 04:43:05 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-01-02 04:48:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 04:50:28 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-02 04:50:54 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-02 04:52:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 04:55:50 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-02 04:56:17 +0000 | housemate_ | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) housemate |
| 2025-01-02 04:56:30 +0000 | housemate | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 2025-01-02 04:58:05 +0000 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-02 04:59:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 05:00:47 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-01-02 05:03:33 +0000 | mxs9 | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-02 05:03:40 +0000 | housemate_ | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) (Ping timeout: 265 seconds) |
| 2025-01-02 05:05:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 05:18:52 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 05:21:45 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-02 05:23:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 05:25:50 +0000 | whatsupdoc_ | (uid509081@id-509081.hampstead.irccloud.com) whatsupdoc |
| 2025-01-02 05:28:38 +0000 | cptaffe | (~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-02 05:31:23 +0000 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2025-01-02 05:41:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 05:44:25 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2025-01-02 05:44:44 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-02 05:46:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 05:52:58 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 265 seconds) |
| 2025-01-02 05:56:37 +0000 | orangeFlu | (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 248 seconds) |
| 2025-01-02 05:58:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 06:04:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-02 06:17:56 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 06:22:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 06:24:34 +0000 | michalz | (~michalz@185.246.207.222) |
| 2025-01-02 06:28:19 +0000 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 264 seconds) |
| 2025-01-02 06:34:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 06:34:37 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2025-01-02 06:35:23 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-01-02 06:39:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-02 06:50:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 06:52:11 +0000 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2025-01-02 06:55:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-02 07:01:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 07:07:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 07:20:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 07:24:20 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-02 07:25:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-02 07:32:18 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-01-02 07:32:43 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-02 07:37:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 07:41:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 07:43:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 07:46:20 +0000 | CiaoSen | (~Jura@2a05:5800:222:6300:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-02 08:00:03 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-02 08:00:42 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-02 08:19:01 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-02 08:23:48 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 08:34:32 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-02 08:41:51 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-01-02 08:42:00 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-01-02 08:48:24 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-02 08:52:26 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f110d9e6e69048fea1c.dip0.t-ipconnect.de) acidjnk |
| 2025-01-02 09:17:33 +0000 | CiaoSen | (~Jura@2a05:5800:222:6300:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2025-01-02 09:38:42 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-02 09:44:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 09:56:24 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-02 10:00:07 +0000 | shane | (~shane@ana.rch.ist) (Ping timeout: 264 seconds) |
| 2025-01-02 10:03:35 +0000 | sprotte24 | (~sprotte24@p200300d16f364900cdf0214719d60c58.dip0.t-ipconnect.de) |
| 2025-01-02 10:15:48 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-02 10:23:36 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 2025-01-02 10:43:54 +0000 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2025-01-02 10:44:46 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-02 10:51:11 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-02 10:54:15 +0000 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2025-01-02 10:54:29 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-02 11:23:55 +0000 | CiaoSen | (~Jura@2a05:5800:222:6300:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-02 11:25:19 +0000 | <GdeVolpiano> | Good time of the day and happy new Gregorian year, gentlepeople. |
| 2025-01-02 11:25:53 +0000 | <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 11:26:02 +0000 | mari11261 | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-02 11:26:05 +0000 | <GdeVolpiano> | So I had a question: what is the status with formoulu? |
| 2025-01-02 11:26:14 +0000 | <GdeVolpiano> | From the package.mask file, it is masked because |
| 2025-01-02 11:27:50 +0000 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-01-02 11:27:54 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-02 11:28:39 +0000 | <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 11:28:44 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-02 11:28:44 +0000 | tnt2 | tnt1 |
| 2025-01-02 11:29:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 11:31:20 +0000 | <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 11:32:21 +0000 | <GdeVolpiano> | Is there any blocking point left? |
| 2025-01-02 11:35:23 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-02 11:36:55 +0000 | <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 11:37:21 +0000 | <GdeVolpiano> | Happy to work on updating the ebuild if needed |
| 2025-01-02 11:43:32 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-01-02 11:43:46 +0000 | mari11261 | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2025-01-02 11:44:58 +0000 | SlackCoder | (~SlackCode@208.26.70.132) SlackCoder |
| 2025-01-02 11:48:08 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-02 11:53:16 +0000 | homo | (~homo@user/homo) homo |
| 2025-01-02 11:53:40 +0000 | SlackCoder | (~SlackCode@208.26.70.132) (Quit: Leaving) |
| 2025-01-02 11:59:13 +0000 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2025-01-02 12:00:04 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-02 12:00:21 +0000 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 248 seconds) |
| 2025-01-02 12:02:32 +0000 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 264 seconds) |
| 2025-01-02 12:03:52 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-02 12:07:40 +0000 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-02 12:18:54 +0000 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2025-01-02 12:20:24 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 2025-01-02 12:22:34 +0000 | ubert | (~Thunderbi@p200300ecdf117c291e6fdb0635c013e3.dip0.t-ipconnect.de) ubert |
| 2025-01-02 12:23:03 +0000 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2025-01-02 12:25:18 +0000 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 276 seconds) |
| 2025-01-02 12:34:21 +0000 | Square | (~Square@user/square) Square |
| 2025-01-02 12:38:56 +0000 | jespada | (~jespada@2800:a4:22f2:6500:9d09:5efe:8124:beef) jespada |
| 2025-01-02 13:05:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 13:21:27 +0000 | chris_on_linux | (~user@2a02:2149:861e:b700:224e:f6ff:fe4a:8927) chris_on_linux |
| 2025-01-02 13:23:03 +0000 | housemate | (~housemate@pa49-185-171-14.pa.vic.optusnet.com.au) housemate |
| 2025-01-02 13:25:59 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-01-02 13:26:35 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-01-02 13:37:25 +0000 | housemate | (~housemate@pa49-185-171-14.pa.vic.optusnet.com.au) (Ping timeout: 248 seconds) |
| 2025-01-02 13:41:59 +0000 | AlexZenon | (~alzenon@5.139.233.96) |
| 2025-01-02 13:42:30 +0000 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2025-01-02 13:46:49 +0000 | housemate | (~housemate@pa49-184-8-92.pa.vic.optusnet.com.au) housemate |
| 2025-01-02 13:52:50 +0000 | AlexZenon_2 | (~alzenon@5.139.233.96) |
| 2025-01-02 13:53:45 +0000 | AlexZenon_2 | (~alzenon@5.139.233.96) (Client Quit) |
| 2025-01-02 13:55:40 +0000 | AlexZenon | (~alzenon@5.139.233.96) (Read error: Connection reset by peer) |
| 2025-01-02 13:56:26 +0000 | alexherbo2 | (~alexherbo@2a01cb00864cea00ecfde33f0b68d056.ipv6.abo.wanadoo.fr) alexherbo2 |
| 2025-01-02 13:57:29 +0000 | AlexZenon | (~alzenon@5.139.233.96) |
| 2025-01-02 13:59:01 +0000 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2025-01-02 14:10:22 +0000 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 252 seconds) |
| 2025-01-02 14:11:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 14:12:10 +0000 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2025-01-02 14:15:53 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2025-01-02 14:21:38 +0000 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2025-01-02 14:25:48 +0000 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection) |
| 2025-01-02 14:36:28 +0000 | shane | (~shane@ana.rch.ist) |
| 2025-01-02 14:36:53 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-02 14:38:09 +0000 | CiaoSen | (~Jura@2a05:5800:222:6300:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2025-01-02 14:52:40 +0000 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-01-02 14:56:44 +0000 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 2025-01-02 14:56:50 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-02 15:00:19 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-02 15:03:44 +0000 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-01-02 15:04:02 +0000 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2025-01-02 15:05:25 +0000 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 248 seconds) |
| 2025-01-02 15:10:25 +0000 | artu | (~artu@li90-184.members.linode.com) artu |
| 2025-01-02 15:11:42 +0000 | jespada | (~jespada@2800:a4:22f2:6500:9d09:5efe:8124:beef) (Ping timeout: 265 seconds) |
| 2025-01-02 15:14:24 +0000 | jespada | (~jespada@2800:a4:1d5:d700:d15f:78ad:2e7a:130e) jespada |
| 2025-01-02 15:15:05 +0000 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 265 seconds) |
| 2025-01-02 15:19:55 +0000 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Ping timeout: 265 seconds) |
| 2025-01-02 15:25:38 +0000 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-01-02 15:25:45 +0000 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 2025-01-02 15:26:31 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-02 15:27:10 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2025-01-02 15:27:28 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-02 15:28:00 +0000 | alexherbo2 | (~alexherbo@2a01cb00864cea00ecfde33f0b68d056.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-01-02 15:38:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2025-01-02 15:38:55 +0000 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Quit: leaving) |
| 2025-01-02 15:44:34 +0000 | alexherbo2 | (~alexherbo@2a01cb00864cea00ecfde33f0b68d056.ipv6.abo.wanadoo.fr) alexherbo2 |
| 2025-01-02 15:45:05 +0000 | orangeFlu | (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) orangeFlu |
| 2025-01-02 15:54:18 +0000 | johnjaye | (~pi@syn-035-146-235-019.res.spectrum.com) johnjaye |
| 2025-01-02 16:04:59 +0000 | alexherbo2 | (~alexherbo@2a01cb00864cea00ecfde33f0b68d056.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-01-02 16:09:22 +0000 | artu | (~artu@li90-184.members.linode.com) artu |
| 2025-01-02 16:19:47 +0000 | alexherbo2 | (~alexherbo@aaubervilliers-553-1-53-223.w82-121.abo.wanadoo.fr) alexherbo2 |
| 2025-01-02 16:20:22 +0000 | <glguy> | Are your questions meant for the Gentoo project? |
| 2025-01-02 16:23:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 16:25:50 +0000 | mari-estel | (~mari-este@user/mari-estel) () |
| 2025-01-02 16:26:31 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-02 16:26:41 +0000 | housemate | (~housemate@pa49-184-8-92.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2025-01-02 16:33:38 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-02 16:51:31 +0000 | alexherbo2 | (~alexherbo@aaubervilliers-553-1-53-223.w82-121.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-01-02 16:51:50 +0000 | alexherbo2 | (~alexherbo@aaubervilliers-553-1-53-223.w82-121.abo.wanadoo.fr) alexherbo2 |
| 2025-01-02 16:53:06 +0000 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 276 seconds) |
| 2025-01-02 16:54:34 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-01-02 16:55:12 +0000 | chris_on_linux | (~user@2a02:2149:861e:b700:224e:f6ff:fe4a:8927) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2025-01-02 17:01:51 +0000 | artu | (~artu@li90-184.members.linode.com) artu |
| 2025-01-02 17:07:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 17:18:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 17:21:44 +0000 | orangeFlu | (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 264 seconds) |
| 2025-01-02 17:23:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-02 17:24:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 17:25:47 +0000 | alexherbo2 | (~alexherbo@aaubervilliers-553-1-53-223.w82-121.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-01-02 17:29:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 17:39:51 +0000 | drlong67 | (~david@pool-173-49-216-118.phlapa.fios.verizon.net) |
| 2025-01-02 17:39:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 17:44:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-02 17:44:30 +0000 | Square | (~Square@user/square) Square |
| 2025-01-02 17:46:59 +0000 | drlong67 | (~david@pool-173-49-216-118.phlapa.fios.verizon.net) () |
| 2025-01-02 17:49:48 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-02 17:52:55 +0000 | <bwe> | is there something like on the fly type aliases? https://play.haskell.org/saved/WxMkIOjh |
| 2025-01-02 17:53:11 +0000 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-01-02 17:54:36 +0000 | <mauke> | you want to declare a type in the middle of another type? |
| 2025-01-02 17:55:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 17:55:18 +0000 | <bwe> | maybe that or in any way a more convenient way than explicitly defining synonyms. |
| 2025-01-02 17:55:51 +0000 | Guest74 | (~Guest74@2600:1702:5284:80:899b:7d11:ffd4:dbfc) |
| 2025-01-02 17:56:48 +0000 | <bwe> | I mean the pattern I have is using Text as type but not having the type properly named. |
| 2025-01-02 17:59:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 18:03:03 +0000 | Rockingcool | (~rockingco@2600:1702:5284:80::2f) |
| 2025-01-02 18:05:27 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-01-02 18:06:24 +0000 | Rockingcool | rockingcool |
| 2025-01-02 18:09:12 +0000 | rockingcool | (~rockingco@2600:1702:5284:80::2f) (Changing host) |
| 2025-01-02 18:09:12 +0000 | rockingcool | (~rockingco@user/rockingcool) rockingcool |
| 2025-01-02 18:10:29 +0000 | rockingcool | (~rockingco@user/rockingcool) (Quit: Leaving) |
| 2025-01-02 18:10:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 18:11:49 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-01-02 18:13:41 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:3c98:8284:e7ab:d928) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2025-01-02 18:14:01 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog |
| 2025-01-02 18:15:22 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 18:15:57 +0000 | rockingcool | (~rockingco@user/rockingcool) rockingcool |
| 2025-01-02 18:16:28 +0000 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 252 seconds) |
| 2025-01-02 18:21:58 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-02 18:23:43 +0000 | <rockingcool> | Beginner here: What's the best way to 'link' with a package when compiling using `ghc`? I tried installing the 'random' package (https://hackage.haskell.org/package/random-1.1) using cabal, and got this scary message: |
| 2025-01-02 18:23:46 +0000 | <rockingcool> | WARNING: Installation might not be completed as desired! |
| 2025-01-02 18:24:45 +0000 | <geekosaur> | right, cabal and stack manage their own installations that are not directly visible |
| 2025-01-02 18:25:15 +0000 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-01-02 18:25:18 +0000 | <geekosaur> | you don't "cabal install" or "stack install" a library, you write a package description that depends on the library and cabal or stack will install an appropriate version automatically |
| 2025-01-02 18:25:38 +0000 | <rockingcool> | I see |
| 2025-01-02 18:25:47 +0000 | <geekosaur> | if you absolutely must, there's "cabal install --lib" but this has the potential to make big messes |
| 2025-01-02 18:26:00 +0000 | <geekosaur> | and is best used with --package-env |
| 2025-01-02 18:26:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 18:26:27 +0000 | <rockingcool> | are virtual envs a thing? like in python |
| 2025-01-02 18:27:27 +0000 | <haskellbridge> | <maerwald> Sandboxes, before they were prematurely ripped out of cabal |
| 2025-01-02 18:28:00 +0000 | <haskellbridge> | <maerwald> Now you have to know 3-4 underdocumented cabal shenanigans to emulate the same thing |
| 2025-01-02 18:28:15 +0000 | <haskellbridge> | <maerwald> Cabal was never good at UX |
| 2025-01-02 18:28:20 +0000 | <rockingcool> | got it |
| 2025-01-02 18:28:33 +0000 | <rockingcool> | yeah, I cam tell |
| 2025-01-02 18:28:47 +0000 | <rockingcool> | Loving haskell so far, but that's definitely a pain point |
| 2025-01-02 18:28:48 +0000 | <geekosaur> | https://cabal.readthedocs.io/en/3.12/cabal-commands.html#adding-libraries-to-ghc-package-environme… |
| 2025-01-02 18:29:05 +0000 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2025-01-02 18:29:23 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-02 18:29:25 +0000 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 252 seconds) |
| 2025-01-02 18:30:44 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-01-02 18:30:45 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-01-02 18:31:32 +0000 | <rockingcool> | would you recommend the '--lib' approach for toy programs? |
| 2025-01-02 18:32:45 +0000 | <geekosaur> | with --package-env=., it's okay |
| 2025-01-02 18:32:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 18:33:27 +0000 | <rockingcool> | sounds good, thanks |
| 2025-01-02 18:33:38 +0000 | <geekosaur> | you really don't want to add them to the default global environment, different versdions will conflict with each other and you'll ultimately end up with horrible tangles |
| 2025-01-02 18:33:57 +0000 | <geekosaur> | (at least you can cure them by removing the environment file, which ghc will tell you it's using) |
| 2025-01-02 18:34:27 +0000 | <rockingcool> | right |
| 2025-01-02 18:34:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 18:35:33 +0000 | <rockingcool> | are there any common 'first projects' that people usually do in haskell? |
| 2025-01-02 18:35:49 +0000 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2025-01-02 18:35:50 +0000 | <rockingcool> | been thinking about a parser, since that seems like Haskell's strength |
| 2025-01-02 18:36:50 +0000 | <__monty__> | Parser combinators are great but I honestly wouldn't be able to recommend them as first exposure to Haskell. Depending on previous functional programming experience of course. |
| 2025-01-02 18:37:46 +0000 | <__monty__> | I think the data61 FP-course is a good practical introduction to Haskell, albeit with a bit of a steep curve if you don't have guidance or prior experience. |
| 2025-01-02 18:38:47 +0000 | <glguy> | rockingcool: depends on what you think is fun. I like making text games, IRC clients, and solving puzzles, so I use Haskell for those. It's generally suitable for what first project is something you're interested in |
| 2025-01-02 18:39:39 +0000 | <rockingcool> | my only previous exposure to FP is python, which probably doesn't even count |
| 2025-01-02 18:41:07 +0000 | <rockingcool> | glguy: Thanks for the ideas, an irc client sounds fun |
| 2025-01-02 18:41:36 +0000 | <glguy> | A bot requires less UI so that can be a good starting point on that path |
| 2025-01-02 18:42:19 +0000 | <rockingcool> | sounds good |
| 2025-01-02 18:43:06 +0000 | rockingcool | (~rockingco@user/rockingcool) (Remote host closed the connection) |
| 2025-01-02 18:43:28 +0000 | rockingcool | (~rockingco@user/rockingcool) rockingcool |
| 2025-01-02 18:44:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 18:45:00 +0000 | Guest74 | (~Guest74@2600:1702:5284:80:899b:7d11:ffd4:dbfc) (Quit: Client closed) |
| 2025-01-02 18:46:06 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-02 18:48:22 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-02 18:51:37 +0000 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-01-02 18:57:37 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-02 18:58:06 +0000 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2025-01-02 18:59:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 19:03:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-02 19:07:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 19:19:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 19:20:11 +0000 | Guest50 | (~Guest50@17.243.206.39) |
| 2025-01-02 19:21:18 +0000 | Guest85 | (~Guest85@2620:149:13d8:380::6d) |
| 2025-01-02 19:21:20 +0000 | Guest50 | (~Guest50@17.243.206.39) (Client Quit) |
| 2025-01-02 19:24:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-02 19:29:09 +0000 | rekahsoft | (~rekahsoft@76.69.85.220) rekahsoft |
| 2025-01-02 19:35:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 19:35:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 19:36:39 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-02 19:38:16 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-02 19:39:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-02 19:47:30 +0000 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-01-02 19:50:22 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 19:52:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 19:53:31 +0000 | Guest85 | (~Guest85@2620:149:13d8:380::6d) (Quit: Client closed) |
| 2025-01-02 19:54:56 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 20:00:59 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-02 20:01:38 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-02 20:02:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 20:05:24 +0000 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-01-02 20:05:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 20:06:50 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-02 20:09:16 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-01-02 20:11:14 +0000 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 245 seconds) |
| 2025-01-02 20:12:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-02 20:12:51 +0000 | roosterphant | (~roosterph@185.21.217.76) (Quit: Bye) |
| 2025-01-02 20:15:22 +0000 | ubert | (~Thunderbi@p200300ecdf117c291e6fdb0635c013e3.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-01-02 20:15:32 +0000 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2025-01-02 20:16:13 +0000 | ubert | (~Thunderbi@p200300ecdf117c29e7a4767b6b491b1c.dip0.t-ipconnect.de) ubert |
| 2025-01-02 20:16:44 +0000 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-02 20:18:44 +0000 | AlexZenon | (~alzenon@5.139.233.96) |
| 2025-01-02 20:19:49 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-02 20:21:09 +0000 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 248 seconds) |
| 2025-01-02 20:21:56 +0000 | fmira | (~user@user/fmira) fmira |
| 2025-01-02 20:22:48 +0000 | fmira | (~user@user/fmira) (Client Quit) |
| 2025-01-02 20:23:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 20:28:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 20:33:14 +0000 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2025-01-02 20:38:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 20:46:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-02 20:54:08 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-01-02 20:55:24 +0000 | Digit | (~user@user/digit) Digit |
| 2025-01-02 20:57:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 21:00:13 +0000 | orangeFlu | (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) orangeFlu |
| 2025-01-02 21:00:50 +0000 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-01-02 21:01:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 21:02:42 +0000 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 244 seconds) |
| 2025-01-02 21:04:03 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-02 21:04:13 +0000 | prasad | (~Thunderbi@2601:243:c001:3f07::45) |
| 2025-01-02 21:05:36 +0000 | AlexZenon | (~alzenon@5.139.233.96) |
| 2025-01-02 21:08:22 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-02 21:09:26 +0000 | jespada | (~jespada@2800:a4:1d5:d700:d15f:78ad:2e7a:130e) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-02 21:12:23 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 21:17:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 21:27:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 21:28:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 21:28:37 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-01-02 21:30:19 +0000 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-01-02 21:31:06 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-02 21:32:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 21:34:49 +0000 | ubert | (~Thunderbi@p200300ecdf117c29e7a4767b6b491b1c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-02 21:34:52 +0000 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Remote host closed the connection) |
| 2025-01-02 21:41:11 +0000 | ubert | (~Thunderbi@p200300ecdf117c29e7a4767b6b491b1c.dip0.t-ipconnect.de) ubert |
| 2025-01-02 21:41:54 +0000 | Digitteknohippie | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-01-02 21:43:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 21:46:19 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-02 21:49:56 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-02 21:55:37 +0000 | mekeor | (~user@2001:a61:2430:1:c1ba:b095:314c:2638) mekeor |
| 2025-01-02 21:56:44 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-01-02 22:01:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 22:04:06 +0000 | <orangeFlu> | so i'm trying to play around with par and pseq in the ghci, but it seems no matter what i do, the ghci complains Control.Parallel doesn't exist as a package. Whats going on? |
| 2025-01-02 22:05:42 +0000 | <__monty__> | Sounds like a module, not a package. |
| 2025-01-02 22:05:44 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-02 22:06:33 +0000 | <orangeFlu> | yeah, module, sorry |
| 2025-01-02 22:08:11 +0000 | michalz | (~michalz@185.246.207.222) (Remote host closed the connection) |
| 2025-01-02 22:09:14 +0000 | <__monty__> | Did you install the parallel package? |
| 2025-01-02 22:09:18 +0000 | <geekosaur> | you need to get the "parallel" package loaded |
| 2025-01-02 22:09:45 +0000 | <orangeFlu> | how do i install it? |
| 2025-01-02 22:09:58 +0000 | <orangeFlu> | like cabal install? |
| 2025-01-02 22:10:24 +0000 | <geekosaur> | cabal repl -b parallel |
| 2025-01-02 22:11:42 +0000 | <orangeFlu> | it works! |
| 2025-01-02 22:11:44 +0000 | <orangeFlu> | thanks |
| 2025-01-02 22:16:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 22:17:22 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2025-01-02 22:21:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 22:23:10 +0000 | ubert | (~Thunderbi@p200300ecdf117c29e7a4767b6b491b1c.dip0.t-ipconnect.de) (Quit: ubert) |
| 2025-01-02 22:23:27 +0000 | ubert | (~Thunderbi@p200300ecdf117c29e6b318fffe838f33.dip0.t-ipconnect.de) ubert |
| 2025-01-02 22:28:52 +0000 | Digit | (~user@user/digit) Digit |
| 2025-01-02 22:31:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 22:37:10 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-02 22:43:12 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com) (Quit: Leaving) |
| 2025-01-02 22:47:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 22:47:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 22:48:13 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-02 22:49:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 22:51:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 22:53:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-02 22:59:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 23:00:34 +0000 | some02 | sudden |
| 2025-01-02 23:02:01 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-01-02 23:02:32 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-01-02 23:02:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 23:05:24 +0000 | ubert1 | (~Thunderbi@p200300ecdf117c9c085b78743ebe2cd2.dip0.t-ipconnect.de) ubert |
| 2025-01-02 23:05:41 +0000 | ubert | (~Thunderbi@p200300ecdf117c29e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-02 23:05:41 +0000 | ubert1 | ubert |
| 2025-01-02 23:07:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-02 23:11:13 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-01-02 23:14:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 23:17:45 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-01-02 23:18:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 23:18:21 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-01-02 23:20:40 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-02 23:25:11 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 23:30:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 23:36:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 23:40:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 23:40:57 +0000 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 252 seconds) |
| 2025-01-02 23:51:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 23:51:42 +0000 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2025-01-02 23:53:42 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-02 23:56:07 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 23:57:33 +0000 | itscaleb | (~itscaleb@user/itscaleb) itscaleb |
| 2025-01-02 23:58:57 +0000 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |