| 2025-01-14 00:01:08 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-14 00:01:28 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:77c0:5b4e:4973:375e) (Read error: Connection reset by peer) |
| 2025-01-14 00:03:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 00:05:35 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 276 seconds) |
| 2025-01-14 00:06:34 +0100 | Square | (~Square@user/square) Square |
| 2025-01-14 00:10:00 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2025-01-14 00:13:06 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-14 00:14:35 +0100 | mange | (~user@user/mange) mange |
| 2025-01-14 00:14:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 00:16:03 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f35081469c6fc5c461d.dip0.t-ipconnect.de) acidjnk |
| 2025-01-14 00:19:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 00:24:52 +0100 | <haskellbridge> | <Bowuigi> I find interesting the way you propose filter to be implemented, but no clue about the rest of the talk. A blog would help yeah |
| 2025-01-14 00:25:48 +0100 | euleritian | (~euleritia@dynamic-176-006-133-150.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-14 00:26:31 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 00:30:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 00:34:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-14 00:38:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-14 00:45:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 00:50:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 00:51:31 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-14 00:51:46 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-14 01:00:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 01:07:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 01:18:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 01:23:07 +0100 | rini | (~rini@user/rini) (Ping timeout: 252 seconds) |
| 2025-01-14 01:23:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 01:24:29 +0100 | sprotte24 | (~sprotte24@p200300d16f245c002d65884199a66258.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-14 01:31:17 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f35081469c6fc5c461d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-14 01:33:58 +0100 | rini | (~rini@user/rini) rini |
| 2025-01-14 01:39:00 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 252 seconds) |
| 2025-01-14 01:42:11 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-103.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-14 01:42:27 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-103.cust.tzulo.com) (Remote host closed the connection) |
| 2025-01-14 01:42:52 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-103.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-14 01:45:07 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 01:49:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 01:50:25 +0100 | xff0x | (~xff0x@2405:6580:b080:900:39df:db2a:91b7:da54) (Ping timeout: 248 seconds) |
| 2025-01-14 01:52:13 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-14 01:52:29 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 01:54:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-14 01:55:12 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-14 01:55:38 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 01:55:47 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-14 01:56:06 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 02:04:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 02:05:46 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-01-14 02:06:34 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-14 02:08:46 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-14 02:09:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 02:13:29 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-14 02:20:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 02:23:31 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-14 02:24:30 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-14 02:24:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 02:29:11 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-14 02:35:22 +0100 | otto_s | (~user@p5de2fe2f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-14 02:35:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 02:37:02 +0100 | otto_s | (~user@p4ff272c8.dip0.t-ipconnect.de) |
| 2025-01-14 02:40:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-01-14 02:42:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-14 02:48:03 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-14 02:51:54 +0100 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-01-14 02:53:33 +0100 | JamesMowery439 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 244 seconds) |
| 2025-01-14 02:53:33 +0100 | JamesMowery4395 | JamesMowery439 |
| 2025-01-14 02:53:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 02:58:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 03:00:09 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2025-01-14 03:01:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-14 03:09:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 03:13:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 03:22:18 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-01-14 03:23:55 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-103.cust.tzulo.com) (Quit: Leaving) |
| 2025-01-14 03:24:13 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-14 03:24:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 03:29:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 03:29:57 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-01-14 03:30:18 +0100 | potatoespotatoes | (~quassel@130.44.147.204) |
| 2025-01-14 03:30:28 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-14 03:33:18 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-01-14 03:37:34 +0100 | dmwit | (~dmwit@pool-173-66-76-243.washdc.fios.verizon.net) dmwit |
| 2025-01-14 03:39:09 +0100 | <dmwit> | I have foo.c. I'd like cabal to be in charge of creating foo.so and making foo.so available, perhaps through the Paths_mypackagename mechanism. Can I convince it to do that somehow? (Directly linking with foo.o or foo.a isn't enough, as I am going to fork a separate program that wants this .so to be available.) |
| 2025-01-14 03:41:39 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-01-14 03:42:01 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-14 03:43:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-14 03:45:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 03:46:21 +0100 | potatoespotatoes | (~quassel@130.44.147.204) (Changing host) |
| 2025-01-14 03:46:21 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-01-14 03:47:02 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-14 03:47:11 +0100 | <geekosaur> | https://cabal.readthedocs.io/en/stable/cabal-package-description-file.html#foreign-libraries with an empty list of Haskell modules? |
| 2025-01-14 03:47:16 +0100 | potatoespotatoes | (~quassel@130.44.147.204) |
| 2025-01-14 03:48:07 +0100 | potatoespotatoes | (~quassel@130.44.147.204) (Changing host) |
| 2025-01-14 03:48:07 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-01-14 03:50:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 03:51:39 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Client Quit) |
| 2025-01-14 03:51:57 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-01-14 03:54:49 +0100 | <dmwit> | Interesting. That will probably add in a linker dependency on the Haskell runtime but that might not be a problem. Let me play with it, thanks for the suggestion. |
| 2025-01-14 03:58:23 +0100 | Guest5 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) |
| 2025-01-14 04:01:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 04:02:37 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-14 04:03:33 +0100 | <Guest5> | Hi, I’ve messed up my setup, which means no xmonad and no GUI. While updating, the Haskell packages didn’t want to update so I uninstalled them to reinstall them, but now they all fail (other than GHC) with “cannot satisfy -package gtk2hs-buildtools“. I tried “emerge —oneshot —nodeps gtk2hs-buildtools” but that failed with the same |
| 2025-01-14 04:03:34 +0100 | <Guest5> | error. I’d send a paste but I don’t have xmonad so I don’t have a GUI anymore |
| 2025-01-14 04:04:06 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 272 seconds) |
| 2025-01-14 04:05:32 +0100 | <dmwit> | What tool are you using to install/uninstall packages? What does ghc-pkg list gtk2hs-buildtools say? |
| 2025-01-14 04:05:37 +0100 | <Guest5> | Of course haskell-updater didn’t work, I’m pretty sure it didn’t even try to build any packages |
| 2025-01-14 04:06:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 04:07:06 +0100 | <Guest5> | ghc-pkg list gtk2hs-buildtools says “no packages”, with the conf file being inside ~/.ghcup, which I didn’t know I had installed (maybe stack did that) |
| 2025-01-14 04:07:16 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) () |
| 2025-01-14 04:07:44 +0100 | <Guest5> | And to install packages system wide I use emerge, and I use stack or cabal per-project |
| 2025-01-14 04:08:14 +0100 | <dmwit> | Is it possible that emerge and stack/cabal are choosing different GHC versions/installations? |
| 2025-01-14 04:08:30 +0100 | potatoespotatoes | (~quassel@130.44.147.204) |
| 2025-01-14 04:08:30 +0100 | potatoespotatoes | (~quassel@130.44.147.204) (Changing host) |
| 2025-01-14 04:08:30 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-01-14 04:09:24 +0100 | <Guest5> | It is, I will uninstall GHC with emerge and see if there’s another system-wide one for Cabal hiding somewhere |
| 2025-01-14 04:09:49 +0100 | <dmwit> | ghcup tui will show you what's happening in ~/.ghcup for what it's worth |
| 2025-01-14 04:09:57 +0100 | Guest5 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) (Quit: Client closed) |
| 2025-01-14 04:10:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | Sgeo | (~Sgeo@user/sgeo) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | notzmv | (~umar@user/notzmv) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | avidseeker | (av@user/avidseeker) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | img | (~img@user/img) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | petrichor | (~znc-user@user/petrichor) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | Me-me | (~me-me@user/me-me) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | haritz | (~hrtz@user/haritz) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | zero | (~z@user/zero) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | jrm | (~jrm@user/jrm) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | stilgart | (~Christoph@chezlefab.net) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | foul_owl | (~kerry@185.203.219.80) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | ycp | (~znc@user/dragestil) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | jathan | (~jathan@69.61.93.38) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | Ekho | (~Ekho@user/ekho) (*.net *.split) |
| 2025-01-14 04:10:04 +0100 | Ranhir | (~Ranhir@157.97.53.139) (*.net *.split) |
| 2025-01-14 04:10:04 +0100 | bliminse | (~bliminse@user/bliminse) (*.net *.split) |
| 2025-01-14 04:10:04 +0100 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) (*.net *.split) |
| 2025-01-14 04:10:04 +0100 | mzg | (mzg@abusers.hu) (*.net *.split) |
| 2025-01-14 04:10:04 +0100 | Goodbye_Vincent1 | (cyvahl@freakshells.net) (*.net *.split) |
| 2025-01-14 04:14:33 +0100 | Guest57 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) |
| 2025-01-14 04:15:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-14 04:15:03 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 04:15:03 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-14 04:15:03 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-14 04:15:03 +0100 | avidseeker | (av@user/avidseeker) avidseeker |
| 2025-01-14 04:15:03 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-01-14 04:15:03 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) sciencentistguy |
| 2025-01-14 04:15:03 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2025-01-14 04:15:03 +0100 | img | (~img@user/img) img |
| 2025-01-14 04:15:03 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-01-14 04:15:03 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-01-14 04:15:03 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-14 04:15:03 +0100 | Me-me | (~me-me@user/me-me) Me-me |
| 2025-01-14 04:15:03 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-01-14 04:15:03 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-01-14 04:15:03 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-01-14 04:15:03 +0100 | zero | (~z@user/zero) zero |
| 2025-01-14 04:15:03 +0100 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) migas |
| 2025-01-14 04:15:03 +0100 | jrm | (~jrm@user/jrm) jrm |
| 2025-01-14 04:15:03 +0100 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-01-14 04:15:03 +0100 | stilgart | (~Christoph@chezlefab.net) stilgart |
| 2025-01-14 04:15:03 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-01-14 04:15:03 +0100 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
| 2025-01-14 04:15:03 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2025-01-14 04:15:03 +0100 | foul_owl | (~kerry@185.203.219.80) foul_owl |
| 2025-01-14 04:15:03 +0100 | nurupo | (~nurupo.ga@user/nurupo) nurupo |
| 2025-01-14 04:15:03 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2025-01-14 04:15:03 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-01-14 04:15:03 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2025-01-14 04:15:03 +0100 | ycp | (~znc@user/dragestil) dragestil |
| 2025-01-14 04:15:03 +0100 | jathan | (~jathan@69.61.93.38) jathan |
| 2025-01-14 04:15:03 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) sprout |
| 2025-01-14 04:15:03 +0100 | Ekho | (~Ekho@user/ekho) Ekho |
| 2025-01-14 04:15:03 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-01-14 04:15:03 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-01-14 04:15:03 +0100 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) tdammers |
| 2025-01-14 04:15:03 +0100 | mzg | (mzg@abusers.hu) |
| 2025-01-14 04:15:03 +0100 | Goodbye_Vincent1 | (cyvahl@freakshells.net) Goodbye_Vincent |
| 2025-01-14 04:15:04 +0100 | img | (~img@user/img) (Max SendQ exceeded) |
| 2025-01-14 04:15:18 +0100 | <Guest57> | I got disconnected, did anyone say anything after 14:09? I am Guest5 |
| 2025-01-14 04:15:18 +0100 | img | (~img@user/img) img |
| 2025-01-14 04:16:36 +0100 | <Guest57> | Well, [current-hour]:09 |
| 2025-01-14 04:17:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 04:20:05 +0100 | <geekosaur> | nope |
| 2025-01-14 04:22:57 +0100 | <dmwit> | I told you that ghcup tui would tell you about what ghcup knows. |
| 2025-01-14 04:23:07 +0100 | <dmwit> | Not sure whether that was after :09 or not. |
| 2025-01-14 04:24:14 +0100 | <dmwit> | geekosaur: So I can see that foreign-library results in a library being built into dist-newstyle, but I'm not sure how I'm meant to access that library('s directory) from within my application. At the very least cabal hasn't added the directory to any environment variables. |
| 2025-01-14 04:24:19 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 04:24:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-14 04:24:38 +0100 | <Guest57> | ghcup tui says I have an install of stack, cabal, and 10 GHC versions |
| 2025-01-14 04:25:00 +0100 | <dmwit> | scary =P |
| 2025-01-14 04:25:17 +0100 | <geekosaur> | does it actually say they're installed, or just available? |
| 2025-01-14 04:25:46 +0100 | <Guest57> | Systemwide version is 9.8.2 and ghcup version is 9.4.8. I tried downgrading but didn’t work |
| 2025-01-14 04:26:01 +0100 | <Guest57> | Well, they don’t say anything, they’re just green |
| 2025-01-14 04:26:39 +0100 | <geekosaur> | ghcup won't know about the system-wide version, and having both will lead to confusion at best and brokenness at worst |
| 2025-01-14 04:26:42 +0100 | <geekosaur> | pick one |
| 2025-01-14 04:27:00 +0100 | <Guest57> | If two greens mean installed, then only GHC 9.4.8 is installed, along with stack and cabal |
| 2025-01-14 04:27:22 +0100 | <geekosaur> | two green checkmarks means it's the default |
| 2025-01-14 04:27:28 +0100 | <dmwit> | Two green checks means default, one means installed, zero means available. |
| 2025-01-14 04:27:33 +0100 | Everything | (~Everythin@195.138.86.118) (Ping timeout: 252 seconds) |
| 2025-01-14 04:28:07 +0100 | <geekosaur> | dmwit, I don't really know what happens after it's built, that's probably a #hackage question |
| 2025-01-14 04:28:21 +0100 | <Guest57> | Well, my problem is emerge failures, I don’t see how ghcup will affect those when I merge under root, which doesn’t have any of my local ghcup stuff in its path |
| 2025-01-14 04:28:32 +0100 | <dmwit> | Wow. That is not a channel I would have guessed. Okay, thanks. |
| 2025-01-14 04:28:43 +0100 | <geekosaur> | if you have a different ghc in your $PATH when you run emerge then things will get mixed up |
| 2025-01-14 04:29:01 +0100 | <geekosaur> | decide whether you are using emerge or ghcup, and get rid of the one you're not using |
| 2025-01-14 04:29:13 +0100 | <dmwit> | I wouldn't be too surprised if you have multiple versions installed even without considering what ghcup's done in $HOME |
| 2025-01-14 04:29:13 +0100 | <haskellbridge> | <maerwald> I don't think so |
| 2025-01-14 04:29:43 +0100 | <haskellbridge> | <maerwald> I'm pretty sure there's environment sanitization when emerge is run |
| 2025-01-14 04:29:54 +0100 | <haskellbridge> | <maerwald> Especially since it's not run as the user |
| 2025-01-14 04:31:26 +0100 | Guest57 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) (Quit: Client closed) |
| 2025-01-14 04:33:47 +0100 | hueso | (~root@user/hueso) (Ping timeout: 244 seconds) |
| 2025-01-14 04:34:59 +0100 | Guest38 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) |
| 2025-01-14 04:35:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 04:36:35 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-01-14 04:38:48 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-14 04:38:49 +0100 | <dmwit> | I mean I guess I don't really know what's going wrong. Perhaps you can find out a bit more about what emerge is doing with a --verbose or something? |
| 2025-01-14 04:39:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 04:42:34 +0100 | <Guest38> | All the logs say the same thing, that is, gtk2hs-buildtools couldn’t be found by the inner cabal that emerge uses. Of course, because it isn’t installed yet. I reinstalled cabal to see if that would change anything, but no luck |
| 2025-01-14 04:45:14 +0100 | <dmwit> | If you can find out what exact cabal command it's running, that might help explain why it believes it needs gtk2hs-buildtools. |
| 2025-01-14 04:45:36 +0100 | <dmwit> | That's a very unusual dependency, it should only be needed when installing things that depend on gtk2hs, which are bindings to a GUI library. |
| 2025-01-14 04:46:26 +0100 | <dmwit> | ...although if emerge and your shell are choosing different GHC versions, then the ghc-pkg command I suggested earlier will need to be tweaked. Can you try it again as root? ghc-pkg list gtk2hs-buildtools |
| 2025-01-14 04:46:54 +0100 | <dmwit> | (One hypothesis is that GHC's package database is broken; if it were, this might reveal that.) |
| 2025-01-14 04:47:44 +0100 | <dmwit> | (root or whatever user emerge runs as, I guess) |
| 2025-01-14 04:50:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 04:55:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-14 04:57:01 +0100 | avidseeker | (av@user/avidseeker) () |
| 2025-01-14 04:59:45 +0100 | avidseeker | (av@user/avidseeker) avidseeker |
| 2025-01-14 05:01:15 +0100 | <Guest38> | ‘ghc-pkg list’ with no package argument gives what looks like standard libraries such as base, binary, template-Haskell, parsec, mtl, and Cabal. There are more but I am on my phone so don’t want to type them out |
| 2025-01-14 05:02:35 +0100 | <dmwit> | If none of them say "broken" afterwards then that hypothesis is out. |
| 2025-01-14 05:02:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 05:03:17 +0100 | <dmwit> | At this point without the exact cabal command I don't think there's much folks here can do for you. |
| 2025-01-14 05:03:50 +0100 | <Guest38> | The command turned out to not be cabal, it was just ghc -hide-all-packages -package Cabal -package array … -package xhtml -package gtk2hs-buildtools —make … |
| 2025-01-14 05:04:43 +0100 | <Guest38> | The only packages listed here not in my ghc-pkg list are gtk2hs-buildtools and xhtml |
| 2025-01-14 05:04:57 +0100 | <dmwit> | Okay. What tool crafted this command line? |
| 2025-01-14 05:05:31 +0100 | <Guest38> | Never mind, xhtml is in the command line |
| 2025-01-14 05:05:47 +0100 | saulosilva | (~saulosilv@2804:14c:b525:8032:5d21:a3da:d197:21e9) saulosilva |
| 2025-01-14 05:06:34 +0100 | <Guest38> | Probably cabal. I’m seeing this in the emerge build.log after “Using cabal-3.8.2.0” inside “configuring source…” |
| 2025-01-14 05:06:50 +0100 | <Guest38> | It’s making Setup.lhs |
| 2025-01-14 05:07:03 +0100 | <dmwit> | ...so like I said: we need the exact cabal command. |
| 2025-01-14 05:07:45 +0100 | <saulosilva> | Hello |
| 2025-01-14 05:07:52 +0100 | Guest38 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) (Quit: Client closed) |
| 2025-01-14 05:08:32 +0100 | <saulosilva> | What resources should i check out first regarding functional paradigm? |
| 2025-01-14 05:08:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 05:10:25 +0100 | Guest79 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) |
| 2025-01-14 05:10:55 +0100 | <dmwit> | The Haskell wiki has a long list of tutorials, and some guidance on how to pick one. |
| 2025-01-14 05:11:14 +0100 | <dmwit> | https://wiki.haskell.org/index.php?title=Tutorials |
| 2025-01-14 05:11:16 +0100 | <Guest79> | Ah, I just realized I’m in #haskell rather than #haskell-gentoo. No wonder things weren’t adding up. Sorry dmwit and all, I’ll move this over there |
| 2025-01-14 05:13:17 +0100 | Guest79 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) (Client Quit) |
| 2025-01-14 05:13:30 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 276 seconds) |
| 2025-01-14 05:19:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 05:19:57 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-14 05:24:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 05:31:14 +0100 | <Axman6> | I think the System-F FP course does a good job of introducing functional programming in general (particularly strongly typed, pure functional), but I may be a bit biased |
| 2025-01-14 05:34:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 05:40:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-14 05:44:14 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-14 05:51:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 05:58:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 06:03:24 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 06:09:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 06:13:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 06:14:20 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-14 06:20:17 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-14 06:24:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 06:28:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-14 06:36:27 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2025-01-14 06:39:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 06:41:03 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-14 06:43:14 +0100 | michalz | (~michalz@185.246.207.197) |
| 2025-01-14 06:44:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-14 06:53:56 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-14 06:55:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 06:59:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 07:03:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-14 07:03:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 07:07:07 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-14 07:08:07 +0100 | euleritian | (~euleritia@dynamic-176-006-128-096.176.6.pool.telefonica.de) |
| 2025-01-14 07:08:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 07:10:17 +0100 | euleritian | (~euleritia@dynamic-176-006-128-096.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-14 07:10:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 07:16:50 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-01-14 07:19:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 07:20:09 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 244 seconds) |
| 2025-01-14 07:21:00 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-01-14 07:22:48 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-14 07:23:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 07:28:42 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-14 07:29:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-01-14 07:32:06 +0100 | euleritian | (~euleritia@dynamic-176-001-018-193.176.1.pool.telefonica.de) |
| 2025-01-14 07:34:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 07:39:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 07:39:51 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-14 07:47:37 +0100 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-14 07:50:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 07:51:54 +0100 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) doyougnu |
| 2025-01-14 07:54:21 +0100 | CiaoSen | (~Jura@2a05:5800:2eb:a800:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-14 07:54:38 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-14 07:55:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-14 07:55:29 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 07:58:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-14 07:59:08 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-14 07:59:08 +0100 | tnt2 | tnt1 |
| 2025-01-14 08:04:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 08:09:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-14 08:10:24 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 264 seconds) |
| 2025-01-14 08:11:17 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f533582140b26ca98c6.dip0.t-ipconnect.de) acidjnk |
| 2025-01-14 08:12:40 +0100 | saulosilva | (~saulosilv@2804:14c:b525:8032:5d21:a3da:d197:21e9) (Ping timeout: 240 seconds) |
| 2025-01-14 08:13:16 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-01-14 08:13:57 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2025-01-14 08:16:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-14 08:19:42 +0100 | rvalue- | rvalue |
| 2025-01-14 08:20:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 08:24:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-14 08:25:40 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 272 seconds) |
| 2025-01-14 08:26:00 +0100 | saulosilva | (~saulosilv@2804:14c:b525:8032:2178:624d:5387:e840) saulosilva |
| 2025-01-14 08:26:16 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 08:29:09 +0100 | euleritian | (~euleritia@dynamic-176-001-018-193.176.1.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2025-01-14 08:29:10 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-14 08:29:48 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 08:30:30 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-14 08:35:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 08:36:03 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 265 seconds) |
| 2025-01-14 08:38:52 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-14 08:42:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-14 08:50:58 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-01-14 08:51:31 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-14 08:53:05 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 08:53:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 08:56:35 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-14 08:58:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 08:59:03 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-01-14 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-14 09:00:39 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-14 09:03:11 +0100 | saulosilva | (~saulosilv@2804:14c:b525:8032:2178:624d:5387:e840) (Quit: Client closed) |
| 2025-01-14 09:04:27 +0100 | akegalj | (~akegalj@89-172-71-66.adsl.net.t-com.hr) akegalj |
| 2025-01-14 09:05:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 09:10:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 09:11:24 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 276 seconds) |
| 2025-01-14 09:13:15 +0100 | hawer | (~newyear@2.219.56.221) |
| 2025-01-14 09:18:37 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 09:24:07 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f533582140b26ca98c6.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-01-14 09:25:09 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-14 09:30:21 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-01-14 09:30:59 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-14 09:31:27 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-14 09:32:01 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f533582140b26ca98c6.dip0.t-ipconnect.de) |
| 2025-01-14 09:32:36 +0100 | euleritian | (~euleritia@dynamic-176-006-136-008.176.6.pool.telefonica.de) |
| 2025-01-14 09:33:14 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-14 09:41:21 +0100 | kuribas | (~user@2a02:1808:80:3b72:47fa:cf83:67e6:7339) kuribas |
| 2025-01-14 09:41:53 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-01-14 09:44:06 +0100 | <kuribas> | It is possible to represent a lambda using ski combinators. Could you use this to represent a polytype (forall a. ...)? |
| 2025-01-14 09:44:58 +0100 | <kuribas> | This way you could avoid variable substitution. |
| 2025-01-14 09:48:00 +0100 | <kuribas> | "forall a.a" would be I, "forall a. a -> a" would be "S (->) I" |
| 2025-01-14 09:48:20 +0100 | chele | (~chele@user/chele) chele |
| 2025-01-14 09:49:28 +0100 | <haskellbridge> | <Bowuigi> Those definitions wouldn't work |
| 2025-01-14 09:49:54 +0100 | CiaoSen | (~Jura@2a05:5800:2eb:a800:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
| 2025-01-14 09:50:21 +0100 | <haskellbridge> | <Bowuigi> But type level SKI with (->) and a forall function definitely would (tho you need type lambdas) |
| 2025-01-14 09:50:59 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 09:51:51 +0100 | <haskellbridge> | <Bowuigi> This forall function, of kind "(k -> *) -> *", would be used like "forall (\a -> a -> a)" |
| 2025-01-14 09:51:58 +0100 | <probie> | Isn't "forall" the type level lambda? |
| 2025-01-14 09:52:39 +0100 | <haskellbridge> | <Bowuigi> No, forall is a quantifier, not a lambda |
| 2025-01-14 09:53:15 +0100 | <haskellbridge> | <Bowuigi> It can't be applied at the type level, but rather at the term level with a type application |
| 2025-01-14 09:54:45 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 248 seconds) |
| 2025-01-14 09:54:46 +0100 | <haskellbridge> | <Bowuigi> Either way, this type-level SKI system is somewhat impractical, so nowadays it's better to use Normalization-by-Evaluation instead, which is likely faster |
| 2025-01-14 09:54:52 +0100 | <kuribas> | forall is kind of a type level lambda |
| 2025-01-14 09:55:46 +0100 | <kuribas> | It's just applied implicitly when using HM inference. |
| 2025-01-14 09:56:54 +0100 | <haskellbridge> | <Bowuigi> It's a binder, like a lambda, but it can't be applied at the type level like a type lambda |
| 2025-01-14 09:57:28 +0100 | <haskellbridge> | <Bowuigi> Here, binder means "brings a new variable into scope" |
| 2025-01-14 09:59:28 +0100 | <haskellbridge> | <Bowuigi> HM can infer type applications, which occur at the term level and instance foralls at the type level. Type level application works directly at the type level, no terms are involved |
| 2025-01-14 10:00:03 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-14 10:00:49 +0100 | <probie> | I think Bowuigi is right. If I have a function `Λα.λ(x:α).x` it has type `forall α. α -> α`. The `forall` isn't any kind of lambda, it just "lines up" with them. If it was a lambda, you'd be able to apply it, but I can't say `(forall a . Maybe a) Int` to mean `Maybe Int` |
| 2025-01-14 10:01:02 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 10:01:18 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-01-14 10:01:18 +0100 | kuribas | (~user@2a02:1808:80:3b72:47fa:cf83:67e6:7339) (Ping timeout: 272 seconds) |
| 2025-01-14 10:01:39 +0100 | <tomsmeding> | I think kuribas (who left) was talking about applying them on the type level, not on the value level |
| 2025-01-14 10:02:15 +0100 | <tomsmeding> | and you can, to a certain extent -- only if the forall is on a newtype |
| 2025-01-14 10:02:22 +0100 | <tomsmeding> | % type I = forall a. a -> a |
| 2025-01-14 10:02:22 +0100 | <yahb2> | <no output> |
| 2025-01-14 10:02:29 +0100 | <tomsmeding> | % :k I @Int |
| 2025-01-14 10:02:29 +0100 | <yahb2> | <interactive>:1:1: error: [GHC-20967] ; • Cannot apply function of kind ‘*’ ; to visible kind argument ‘Int’ ; • In the type ‘I @Int’ |
| 2025-01-14 10:03:12 +0100 | <haskellbridge> | <Bowuigi> Yeah mixing foralls and type level lambdas happens sometimes |
| 2025-01-14 10:03:39 +0100 | <tomsmeding> | well sometimes it looks like you _can_ apply them with TypeApplications |
| 2025-01-14 10:03:43 +0100 | <tomsmeding> | just not in enough cases for this to work |
| 2025-01-14 10:03:57 +0100 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 2025-01-14 10:04:26 +0100 | <tomsmeding> | % :t map |
| 2025-01-14 10:04:26 +0100 | <yahb2> | map :: forall a b. (a -> b) -> [a] -> [b] |
| 2025-01-14 10:04:31 +0100 | <tomsmeding> | % :t map @Int |
| 2025-01-14 10:04:31 +0100 | <yahb2> | map @Int :: forall b. (Int -> b) -> [Int] -> [b] |
| 2025-01-14 10:04:36 +0100 | <tomsmeding> | I just applied a forall |
| 2025-01-14 10:04:41 +0100 | <tomsmeding> | kinda |
| 2025-01-14 10:04:41 +0100 | <haskellbridge> | <Bowuigi> "type I = forall (a :: k). ()" should work tho, because you are instancing the k |
| 2025-01-14 10:05:02 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-14 10:05:03 +0100 | <tomsmeding> | % type I = forall (a :: k). () |
| 2025-01-14 10:05:03 +0100 | <yahb2> | <interactive>:19:23: error: [GHC-76037] ; Not in scope: type variable ‘k’ |
| 2025-01-14 10:05:06 +0100 | <tomsmeding> | % :set -XPolyKinds |
| 2025-01-14 10:05:06 +0100 | <yahb2> | <no output> |
| 2025-01-14 10:05:08 +0100 | <tomsmeding> | % type I = forall (a :: k). () |
| 2025-01-14 10:05:08 +0100 | <yahb2> | <interactive>:23:23: error: [GHC-76037] ; Not in scope: type variable ‘k’ |
| 2025-01-14 10:05:13 +0100 | <tomsmeding> | % type I = forall k (a :: k). () |
| 2025-01-14 10:05:13 +0100 | <yahb2> | <no output> |
| 2025-01-14 10:05:15 +0100 | <tomsmeding> | and then? |
| 2025-01-14 10:05:22 +0100 | <tomsmeding> | % :k I @Int |
| 2025-01-14 10:05:22 +0100 | <yahb2> | <interactive>:1:1: error: [GHC-20967] ; • Cannot apply function of kind ‘*’ ; to visible kind argument ‘Int’ ; • In the type ‘I @Int’ |
| 2025-01-14 10:05:28 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f533582140b26ca98c6.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-01-14 10:05:47 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f539c942177b6544d5d.dip0.t-ipconnect.de) acidjnk |
| 2025-01-14 10:06:08 +0100 | <haskellbridge> | <Bowuigi> Uhhh what |
| 2025-01-14 10:06:54 +0100 | <tomsmeding> | is this TypeInType biting us? |
| 2025-01-14 10:07:14 +0100 | <haskellbridge> | <Bowuigi> Oh I'm dumb, you need kind annotations |
| 2025-01-14 10:07:23 +0100 | <haskellbridge> | <Bowuigi> The forall for k goes there |
| 2025-01-14 10:07:24 +0100 | <tomsmeding> | right |
| 2025-01-14 10:07:35 +0100 | <tomsmeding> | so really foralls are _not_ lambdas :) |
| 2025-01-14 10:07:41 +0100 | <tomsmeding> | you can "apply" foralls from the level below |
| 2025-01-14 10:07:46 +0100 | <tomsmeding> | not from inside the same level |
| 2025-01-14 10:07:57 +0100 | <haskellbridge> | <Bowuigi> "type I :: forall k. *; type I = ()" |
| 2025-01-14 10:08:35 +0100 | <haskellbridge> | <Bowuigi> Yeah that's what I was trying to say |
| 2025-01-14 10:09:04 +0100 | <tomsmeding> | @tell kuribas foralls are not lambdas: you can "apply" foralls from the level below (i.e. type foralls using TypeApplications on a value; kind foralls by applying a type function), but not from inside the same level |
| 2025-01-14 10:09:04 +0100 | <lambdabot> | Consider it noted. |
| 2025-01-14 10:09:16 +0100 | <haskellbridge> | <Bowuigi> Strictly speaking you don't "apply" foralls, but rather type lambdas. Foralls are "instanced". This terminology can help distinguishing them I guess |
| 2025-01-14 10:09:44 +0100 | <tomsmeding> | instance or instantiate? |
| 2025-01-14 10:10:09 +0100 | <haskellbridge> | <Bowuigi> Wait is there a difference? I englishn't |
| 2025-01-14 10:10:27 +0100 | <tomsmeding> | is there a difference between flammable and inflammable? |
| 2025-01-14 10:10:36 +0100 | <tomsmeding> | words are different only if we assign a different meaning to them :p |
| 2025-01-14 10:11:10 +0100 | <haskellbridge> | <magic_rb> Whats the difference, cause purely from a english standpoint theyre similar. |
| 2025-01-14 10:11:39 +0100 | <tomsmeding> | (flammable and inflammable look like they should be opposites, but they mean the same thing) |
| 2025-01-14 10:11:45 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 10:11:59 +0100 | <tomsmeding> | (same as exclamation and inclamation, except the latter is archaic so you don't really see this one in practice) |
| 2025-01-14 10:12:12 +0100 | <haskellbridge> | <magic_rb> Wait what |
| 2025-01-14 10:12:21 +0100 | <haskellbridge> | <magic_rb> Inflammable isnt an opposite to flammable? |
| 2025-01-14 10:12:37 +0100 | <haskellbridge> | <magic_rb> Wha |
| 2025-01-14 10:12:42 +0100 | <tomsmeding> | inflammable. adjective. 1. Easily ignited and capable of burning rapidly; flammable. |
| 2025-01-14 10:12:52 +0100 | euleritian | (~euleritia@dynamic-176-006-136-008.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-14 10:12:53 +0100 | <Leary> | I would only say `instantiate` here. `instance` as a verb I've only heard in (casual) coding contexts, probably from "create an instance of". |
| 2025-01-14 10:13:04 +0100 | tomsmeding | agrees with Leary |
| 2025-01-14 10:14:15 +0100 | <tomsmeding> | or perhaps in a graphics context, duplicating an object many times using rendering tricks? |
| 2025-01-14 10:14:38 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 10:15:20 +0100 | <haskellbridge> | <Bowuigi> I vaguely remember seeing both to refer to the same thing on different contexts, but instantiate sounds cooler |
| 2025-01-14 10:15:31 +0100 | <tomsmeding> | good enough reason |
| 2025-01-14 10:15:37 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 265 seconds) |
| 2025-01-14 10:15:57 +0100 | <haskellbridge> | <Bowuigi> Also the opposite of flammable/inflammable is fireproof, which also sounds cooler |
| 2025-01-14 10:16:39 +0100 | <tomsmeding> | or incombustible |
| 2025-01-14 10:17:09 +0100 | <tomsmeding> | more latin -> cooler? |
| 2025-01-14 10:17:49 +0100 | <probie> | more latin -> less cool |
| 2025-01-14 10:19:06 +0100 | <haskellbridge> | <Bowuigi> Objection, spanish is more latin and it's word for fireproof is ignifugo, which is cooler |
| 2025-01-14 10:19:09 +0100 | <Hecate> | in French we have "ignifugé" for fireproof |
| 2025-01-14 10:19:18 +0100 | <Hecate> | "igni" -> fire, (ignition) |
| 2025-01-14 10:19:23 +0100 | <tomsmeding> | Latinate languages unite? |
| 2025-01-14 10:19:42 +0100 | <Hecate> | "fugé" -> fugere, that which flees |
| 2025-01-14 10:19:49 +0100 | <Hecate> | makes the fire flee |
| 2025-01-14 10:19:56 +0100 | <tomsmeding> | that's cool |
| 2025-01-14 10:20:01 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 10:20:10 +0100 | jespada | (~jespada@2800:a4:31:b00:a974:16da:8c45:e3b4) jespada |
| 2025-01-14 10:20:16 +0100 | a0v7a9 | (~ava079@90.156.161.73) |
| 2025-01-14 10:21:49 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2025-01-14 10:22:14 +0100 | <mauke> | feuerfest |
| 2025-01-14 10:22:37 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Client Quit) |
| 2025-01-14 10:22:42 +0100 | <tomsmeding> | fire party |
| 2025-01-14 10:23:30 +0100 | <mauke> | please party your seatbelts |
| 2025-01-14 10:25:59 +0100 | <c_wraith> | do fireproofs end with Quod Erat Flamma? |
| 2025-01-14 10:28:36 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 246 seconds) |
| 2025-01-14 10:28:53 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 248 seconds) |
| 2025-01-14 10:29:43 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-01-14 10:29:53 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 10:31:06 +0100 | <haskellbridge> | <Bowuigi> Yeah, they start with "proof" too |
| 2025-01-14 10:33:24 +0100 | <kuribas> | haskellbridge: I don't care about performance, only correctness. |
| 2025-01-14 10:34:58 +0100 | ol0ck | (~quassel@user/ol0ck) (Ping timeout: 245 seconds) |
| 2025-01-14 10:35:14 +0100 | <kuribas> | tomsmeding: from a dependent types viewpoint, foralls are just lambdas. In idris "forall a. ... " is the same as "{O a : _} -> ...". |
| 2025-01-14 10:35:53 +0100 | <kuribas> | It's a lambda with an erased value. |
| 2025-01-14 10:36:04 +0100 | <tomsmeding> | in a dependent type system, yes. :P |
| 2025-01-14 10:36:09 +0100 | <tomsmeding> | Haskell is not dependently-typed |
| 2025-01-14 10:36:15 +0100 | <tomsmeding> | hence foralls are _not_ just lambdas here |
| 2025-01-14 10:36:33 +0100 | <kuribas> | Sure, I mean more theoretically. |
| 2025-01-14 10:37:24 +0100 | <tomsmeding> | you're going to run into needing impredicativity, though |
| 2025-01-14 10:37:24 +0100 | <kuribas> | As in, I could represent a forall as a lambda in the underlying system |
| 2025-01-14 10:37:33 +0100 | <tomsmeding> | if you set `I = forall a. a`, then you'll want to apply I to some other combinator expression |
| 2025-01-14 10:37:40 +0100 | <tomsmeding> | so what's the universe level of that a? |
| 2025-01-14 10:37:47 +0100 | ol0ck | (~quassel@user/ol0ck) ol0ck |
| 2025-01-14 10:37:57 +0100 | <tomsmeding> | I : Set<?> -> Set<?> |
| 2025-01-14 10:38:02 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-14 10:38:38 +0100 | <tomsmeding> | (are the universe levels called Set1, Set2, etc. in Idris too?) |
| 2025-01-14 10:39:14 +0100 | <kuribas> | idris2 doesn't have universe levels yet... |
| 2025-01-14 10:39:16 +0100 | <kuribas> | It's all Type. |
| 2025-01-14 10:39:24 +0100 | <tomsmeding> | so idris2 is inconsistent? |
| 2025-01-14 10:39:28 +0100 | <kuribas> | yeah |
| 2025-01-14 10:39:35 +0100 | <tomsmeding> | interesting |
| 2025-01-14 10:39:45 +0100 | <tomsmeding> | so idris2 has Type : Type? |
| 2025-01-14 10:39:53 +0100 | <tomsmeding> | in that case you could perhaps do this |
| 2025-01-14 10:40:04 +0100 | <tomsmeding> | but you'll only be able to write non-dependent function types this way, I think |
| 2025-01-14 10:40:15 +0100 | <tomsmeding> | ah no, that's false |
| 2025-01-14 10:41:21 +0100 | <kuribas> | It's implied that the Type of Type is Type <2> |
| 2025-01-14 10:41:27 +0100 | <kuribas> | But idris2 doesn't implement it yet. |
| 2025-01-14 10:43:34 +0100 | <kuribas> | tomsmeding: well, the forall would need to accept any kind. |
| 2025-01-14 10:44:08 +0100 | <tomsmeding> | which is precisely possible only if Type : Type |
| 2025-01-14 10:44:09 +0100 | <tomsmeding> | (iirc) |
| 2025-01-14 10:44:09 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 260 seconds) |
| 2025-01-14 10:44:20 +0100 | <kuribas> | no: I : {a:Type} -> a -> a |
| 2025-01-14 10:45:01 +0100 | <kuribas> | tomsmeding: still not sure if using combinators or lambdas to represent foralls in an advantage though... |
| 2025-01-14 10:45:26 +0100 | <tomsmeding> | oh I see, so I would be a universe-polymorphic function |
| 2025-01-14 10:45:26 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-14 10:45:35 +0100 | <tomsmeding> | I think it isn't at all :p |
| 2025-01-14 10:45:42 +0100 | <tomsmeding> | but a fun exercise perhaps |
| 2025-01-14 10:45:49 +0100 | <kuribas> | idk, how does that work in agda? |
| 2025-01-14 10:46:02 +0100 | <kuribas> | If you have an implicit, does it work in all universes? |
| 2025-01-14 10:46:10 +0100 | <tomsmeding> | I : (l : Level) -> (a : Set l) -> a -> a |
| 2025-01-14 10:46:13 +0100 | <tomsmeding> | iirc |
| 2025-01-14 10:46:33 +0100 | <kuribas> | Doesn't idris1 have an inferred universe level? |
| 2025-01-14 10:46:47 +0100 | <tomsmeding> | agda certainly also has implicit inferred universe levels |
| 2025-01-14 10:47:11 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-01-14 10:47:23 +0100 | <tomsmeding> | but the question is: shouldn't it be "I : (l : Level) -> (a : Set l) -> Set ; I l a = a -> a" |
| 2025-01-14 10:47:59 +0100 | <tomsmeding> | hm, "-> Set l", perhaps |
| 2025-01-14 10:49:10 +0100 | <kuribas> | yeah, I haven't worked with universes yet... |
| 2025-01-14 10:49:20 +0100 | <kuribas> | But in my case, level 1 would just work. |
| 2025-01-14 10:50:19 +0100 | <tomsmeding> | is I "a -> a"? or is I just "a"? |
| 2025-01-14 10:50:22 +0100 | <tomsmeding> | what is S? |
| 2025-01-14 10:50:42 +0100 | <kuribas> | a -> a |
| 2025-01-14 10:50:50 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 10:50:59 +0100 | <tomsmeding> | but then you aren't actually applying types, are you? What is S? |
| 2025-01-14 10:51:04 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-14 10:52:07 +0100 | <kuribas> | tomsmeding: not in the implementing language. |
| 2025-01-14 10:52:28 +0100 | <tomsmeding> | wasn't the premise that you can write types using combinators instead of foralls? |
| 2025-01-14 10:53:29 +0100 | <kuribas> | Yeah, in the implementing language. Like HOAS. |
| 2025-01-14 10:53:39 +0100 | <kuribas> | polymorphic types. |
| 2025-01-14 10:54:15 +0100 | <tomsmeding> | so then how are you going to write the type "(f : Type -> Type) -> (a : Type) -> f a"? |
| 2025-01-14 10:54:45 +0100 | <tomsmeding> | never mind that this type doesn't have a sensible implementation, but more complicated such examples do |
| 2025-01-14 10:56:57 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-14 10:57:19 +0100 | <kuribas> | tomsmeding: not exactly sure, I'll need to work it out... |
| 2025-01-14 10:58:06 +0100 | <kuribas> | gotto do my day job now :) |
| 2025-01-14 10:58:23 +0100 | <kuribas> | Python and clojure :( |
| 2025-01-14 10:58:34 +0100 | <tomsmeding> | :D |
| 2025-01-14 11:01:22 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-01-14 11:09:50 +0100 | <smiesner> | *laughs in java and js* (pls free me) |
| 2025-01-14 11:10:13 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 11:14:32 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-01-14 11:24:39 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds) |
| 2025-01-14 11:27:55 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 11:32:28 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-01-14 11:33:06 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 11:35:05 +0100 | jespada | (~jespada@2800:a4:31:b00:a974:16da:8c45:e3b4) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-14 11:37:08 +0100 | sprotte24 | (~sprotte24@p200300d16f2d390001157685e299ee37.dip0.t-ipconnect.de) |
| 2025-01-14 11:37:10 +0100 | sprotte24 | (~sprotte24@p200300d16f2d390001157685e299ee37.dip0.t-ipconnect.de) (Client Quit) |
| 2025-01-14 11:37:19 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2025-01-14 11:38:45 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-01-14 11:38:46 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-14 11:39:12 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 11:45:12 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-14 11:49:36 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 11:51:25 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-01-14 11:59:03 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 2025-01-14 11:59:34 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-01-14 12:07:46 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-01-14 12:08:19 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-01-14 12:08:55 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-01-14 12:09:25 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2025-01-14 12:10:04 +0100 | akegalj | (~akegalj@89-172-71-66.adsl.net.t-com.hr) (Ping timeout: 244 seconds) |
| 2025-01-14 12:10:04 +0100 | <kuribas> | tomsmeding: I was just considering this: https://en.wikipedia.org/wiki/Higher-order_abstract_syntax |
| 2025-01-14 12:10:06 +0100 | <tomsmeding> | is HOAS not more about representing an AST? |
| 2025-01-14 12:13:29 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5599:62cc:9825:4e0a) |
| 2025-01-14 12:13:59 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-14 12:16:23 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-14 12:24:13 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-14 12:26:22 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 12:33:38 +0100 | jespada | (~jespada@2800:a4:31:b00:a974:16da:8c45:e3b4) jespada |
| 2025-01-14 12:36:06 +0100 | alexherbo2 | (~alexherbo@2a02-8440-e501-2041-d1c5-ba5b-2b42-3c3f.rev.sfr.net) alexherbo2 |
| 2025-01-14 12:36:51 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-01-14 12:37:43 +0100 | dmwit | (~dmwit@pool-173-66-76-243.washdc.fios.verizon.net) (Quit: Client closed) |
| 2025-01-14 12:42:32 +0100 | alexherbo2 | (~alexherbo@2a02-8440-e501-2041-d1c5-ba5b-2b42-3c3f.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-14 12:43:05 +0100 | alexherbo2 | (~alexherbo@2a02-8440-e501-2041-d1c5-ba5b-2b42-3c3f.rev.sfr.net) alexherbo2 |
| 2025-01-14 12:47:31 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |