| 2024-08-01 00:01:08 +0000 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2024-08-01 00:08:33 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-08-01 00:22:26 +0000 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-01 00:22:37 +0000 | spew | (~spew@201.141.102.132) |
| 2024-08-01 00:22:50 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2024-08-01 00:26:30 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-08-01 00:26:32 +0000 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 4.3.5) |
| 2024-08-01 00:28:02 +0000 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2024-08-01 00:35:25 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-01 00:36:54 +0000 | m1dnight | (~christoph@78-20-61-242.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-08-01 00:39:05 +0000 | m1dnight | (~christoph@78-20-61-242.access.telenet.be) |
| 2024-08-01 00:52:05 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-08-01 00:52:18 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 01:08:25 +0000 | spew | (~spew@201.141.102.132) (Read error: Connection reset by peer) |
| 2024-08-01 01:09:52 +0000 | spew | (~spew@201.141.102.132) |
| 2024-08-01 01:16:23 +0000 | td_ | (~td@i53870916.versanet.de) (Ping timeout: 252 seconds) |
| 2024-08-01 01:21:16 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Remote host closed the connection) |
| 2024-08-01 01:21:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-01 01:23:25 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-01 01:28:26 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-08-01 01:33:59 +0000 | AlexNoo | (~AlexNoo@94.233.241.125) (Read error: Connection reset by peer) |
| 2024-08-01 01:34:21 +0000 | AlexNoo | (~AlexNoo@94.233.241.125) |
| 2024-08-01 01:46:10 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-08-01 01:46:29 +0000 | skyesoss | (~Thunderbi@128.135.204.35) (Ping timeout: 248 seconds) |
| 2024-08-01 01:48:25 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-08-01 01:59:30 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 276 seconds) |
| 2024-08-01 02:04:19 +0000 | xff0x | (~xff0x@2405:6580:b080:900:bf97:1fa8:4185:9e6) (Ping timeout: 264 seconds) |
| 2024-08-01 02:25:25 +0000 | MadeleineSydney | (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) |
| 2024-08-01 02:37:19 +0000 | m1dnight | (~christoph@78-20-61-242.access.telenet.be) (Ping timeout: 264 seconds) |
| 2024-08-01 02:37:40 +0000 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-01 02:39:18 +0000 | m1dnight | (~christoph@d8D861035.access.telenet.be) |
| 2024-08-01 02:47:19 +0000 | Guest53 | (~Guest53@pool-108-29-84-48.nycmny.fios.verizon.net) |
| 2024-08-01 02:49:16 +0000 | <Guest53> | I have a question regarding cabal. Why does this module insist that transformers is a missing dependency, when I have the correct version installed? |
| 2024-08-01 02:49:16 +0000 | <Guest53> | > Error: Setup: Encountered missing or private dependencies: |
| 2024-08-01 02:49:17 +0000 | <Guest53> | > transformers >=0.5.2 && <0.6 |
| 2024-08-01 02:49:17 +0000 | <Guest53> | * transformers |
| 2024-08-01 02:49:18 +0000 | <Guest53> | Synopsis: Concrete functor and monad transformers |
| 2024-08-01 02:49:18 +0000 | <Guest53> | Default available version: 0.6.1.1 |
| 2024-08-01 02:49:19 +0000 | <Guest53> | Installed versions: 0.5.6.2, 0.6.1.0 |
| 2024-08-01 02:49:19 +0000 | <Guest53> | License: BSD3 |
| 2024-08-01 02:49:20 +0000 | <Guest53> | Is it an issue that I have two versions installed simultaneously that prevents cabal from seeing it? |
| 2024-08-01 02:50:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-08-01 02:50:32 +0000 | <probie> | Or perhaps 0.5.6.2 is incompatible with other dependencies in the project? |
| 2024-08-01 02:51:14 +0000 | <probie> | actually, that seems unlikely |
| 2024-08-01 02:51:34 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-08-01 02:55:58 +0000 | <geekosaur> | hm. "Error: Setup:" makes me think it needs to be in setup-depends, not just build-depends? |
| 2024-08-01 02:57:47 +0000 | MadeleineSydney | (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) (Quit: MadeleineSydney) |
| 2024-08-01 03:00:33 +0000 | <Guest53> | What's the difference between the two? That might be a Nix error? Here's a tail of the log: |
| 2024-08-01 03:00:33 +0000 | <Guest53> | @nix { "action": "setPhase", "phase": "setupCompilerEnvironmentPhase" } |
| 2024-08-01 03:00:34 +0000 | <lambdabot> | Americans admire a people who can scratch a desert and produce a garden. The Israelis have shown qualities that Americans identify with: guts, patriotism, idealism, a passion for freedom. I have |
| 2024-08-01 03:00:34 +0000 | <lambdabot> | seen it. I know. I believe that. |
| 2024-08-01 03:00:34 +0000 | <Guest53> | Running phase: setupCompilerEnvironmentPhase |
| 2024-08-01 03:00:34 +0000 | <Guest53> | Build with /nix/store/vfzrsghv5w2vyccikx6xg2fh90z9aq2q-ghc-9.6.5. |
| 2024-08-01 03:00:35 +0000 | <Guest53> | @nix { "action": "setPhase", "phase": "unpackPhase" } |
| 2024-08-01 03:00:35 +0000 | <lambdabot> | Do you know what happened to the Romans? The last six Roman emperors were fags. . . . You know what happened to the popes? It's all right that popes were laying the nuns. |
| 2024-08-01 03:00:35 +0000 | <Guest53> | Running phase: unpackPhase |
| 2024-08-01 03:00:36 +0000 | <Guest53> | unpacking source archive /nix/store/17ry7q1gm14ypmi5r06ing0ps5vm984m-source/GPipe-Core |
| 2024-08-01 03:00:36 +0000 | <Guest53> | calling 'unpackCmd' function hook '_defaultUnpack' /nix/store/17ry7q1gm14ypmi5r06ing0ps5vm984m-source/GPipe-Core |
| 2024-08-01 03:00:37 +0000 | <Guest53> | source root is GPipe-Core |
| 2024-08-01 03:00:37 +0000 | <Guest53> | calling 'postUnpack' function hook '_updateSourceDateEpochFromSourceRoot' |
| 2024-08-01 03:00:38 +0000 | <Guest53> | @nix { "action": "setPhase", "phase": "patchPhase" } |
| 2024-08-01 03:00:38 +0000 | <lambdabot> | The press is the enemy. |
| 2024-08-01 03:00:38 +0000 | <Guest53> | Running phase: patchPhase |
| 2024-08-01 03:00:39 +0000 | <Guest53> | @nix { "action": "setPhase", "phase": "compileBuildDriverPhase" } |
| 2024-08-01 03:00:39 +0000 | <lambdabot> | Castro couldn't even go to the bathroom unless the Soviet Union put the nickel in the toilet. |
| 2024-08-01 03:00:39 +0000 | <Guest53> | Running phase: compileBuildDriverPhase |
| 2024-08-01 03:00:40 +0000 | <Guest53> | setupCompileFlags: -package-db=/build/tmp.lt8rbFKDkr/setup-package.conf.d -threaded |
| 2024-08-01 03:00:40 +0000 | <Guest53> | [1 of 2] Compiling Main ( Setup.hs, /build/tmp.lt8rbFKDkr/Main.o ) |
| 2024-08-01 03:00:41 +0000 | <Guest53> | [2 of 2] Linking Setup |
| 2024-08-01 03:00:41 +0000 | <Guest53> | @nix { "action": "setPhase", "phase": "updateAutotoolsGnuConfigScriptsPhase" } |
| 2024-08-01 03:00:42 +0000 | <lambdabot> | When the President does it, that means that it is not illegal. |
| 2024-08-01 03:00:52 +0000 | <geekosaur> | please don't paste into irc |
| 2024-08-01 03:00:58 +0000 | <geekosaur> | @where paste |
| 2024-08-01 03:00:58 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-08-01 03:01:42 +0000 | <Guest53> | sorry - https://paste.tomsmeding.com/kpp8PMjl |
| 2024-08-01 03:01:44 +0000 | <EvanR> | :t 'a' |
| 2024-08-01 03:01:45 +0000 | <lambdabot> | Char |
| 2024-08-01 03:01:58 +0000 | <geekosaur> | setup-depends is used when compiling a custom Setup.hs to configure a package, build-depends is used when building the actual package |
| 2024-08-01 03:02:19 +0000 | <haskellbridge> | <bdub> Howdy Haskeller's... hope everyone is doing well |
| 2024-08-01 03:02:27 +0000 | <EvanR> | what in gods name is lambdabot on |
| 2024-08-01 03:02:39 +0000 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-01 03:03:09 +0000 | <EvanR> | @nixon |
| 2024-08-01 03:03:09 +0000 | <lambdabot> | The press is the enemy. |
| 2024-08-01 03:03:09 +0000 | <haskellbridge> | <bdub> An Anonymous drug I bet |
| 2024-08-01 03:03:13 +0000 | <geekosaur> | it's edit-(in)correcting @nix to @nixon |
| 2024-08-01 03:03:31 +0000 | <EvanR> | that is one helluva a consequence of autocorrect |
| 2024-08-01 03:03:40 +0000 | <geekosaur> | okay, so that log shws it's not setup-depends |
| 2024-08-01 03:05:29 +0000 | <Guest53> | Issue is that the latest version of transformers is installed along side the ghc nixpkg |
| 2024-08-01 03:06:08 +0000 | <Guest53> | otherwise I would just have the older version. why can't cabal see the correct one? any way to isolate it with stack or something? |
| 2024-08-01 03:06:47 +0000 | <geekosaur> | I think nix has a habit of editing constraints to point to what versions it has, and got something wrong here |
| 2024-08-01 03:07:05 +0000 | <geekosaur> | I just looked at GPipe on Hackage, and it has that build-depends correctly |
| 2024-08-01 03:07:37 +0000 | <geekosaur> | so I think nix is presenting it the wrong version (it converts cabal dependencies to nix derivations) |
| 2024-08-01 03:07:47 +0000 | <Guest53> | the package is broken on nix, hence why I'm trying to point to the repo directly and install via cabal |
| 2024-08-01 03:08:08 +0000 | <geekosaur> | so why is nix being involved at all? |
| 2024-08-01 03:08:25 +0000 | <Guest53> | I'm on NixOS and it's part of my system config flake |
| 2024-08-01 03:08:42 +0000 | <Guest53> | wanted to use GPipe with implicitCAD |
| 2024-08-01 03:09:20 +0000 | <sclv> | i suggest you don't use cabal to install it, but instead "vendor" it using a cabal.project file -- that might help bypass some of the weirdness |
| 2024-08-01 03:10:01 +0000 | <Guest53> | ok, might have to fork GPipe and figure it out |
| 2024-08-01 03:10:58 +0000 | <Guest53> | thanks for the help |
| 2024-08-01 03:11:25 +0000 | <geekosaur> | (wow, GPipe needs a really old ghc) |
| 2024-08-01 03:11:56 +0000 | <geekosaur> | base<4.15 which means 8.10.7 |
| 2024-08-01 03:11:59 +0000 | aforemny_ | (~aforemny@2001:9e8:6cc1:5500:5072:c3b4:e83c:da68) |
| 2024-08-01 03:13:09 +0000 | <Guest53> | where do you see that? |
| 2024-08-01 03:13:14 +0000 | aforemny | (~aforemny@2001:9e8:6ce0:2100:2fa7:a1ac:c8c:437) (Ping timeout: 260 seconds) |
| 2024-08-01 03:13:21 +0000 | <geekosaur> | I'm doing the build here to see if it works, but it needs a bunch of dependencies I never installed with 8.10.7 (at least on this machine) |
| 2024-08-01 03:13:56 +0000 | <geekosaur> | cabal complained about vector when I used my default ghc (9.6.6) |
| 2024-08-01 03:14:10 +0000 | <Guest53> | this is the latest GPipe: https://github.com/tobbebex/GPipe-Core/tree/master |
| 2024-08-01 03:14:35 +0000 | <geekosaur> | apparently not released |
| 2024-08-01 03:14:45 +0000 | <geekosaur> | hackage's latest version is from 2020 |
| 2024-08-01 03:16:32 +0000 | <geekosaur> | okay no problem installing it here. but if I need the github version then I will have to do more work (you should probably have mentioned that up front) |
| 2024-08-01 03:16:32 +0000 | <Guest53> | that Github repo is the one I'm trying to compile |
| 2024-08-01 03:17:08 +0000 | <Guest53> | sorry bout that |
| 2024-08-01 03:23:23 +0000 | <geekosaur> | what ghc version are you using? I got complaints about transformers with 9.6.6 which were actually caused by a base constrint; it won't work with later than ghc 9.4 |
| 2024-08-01 03:23:24 +0000 | hammock | (~hammock@2600:1700:19a1:3330::d) |
| 2024-08-01 03:23:35 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-01 03:23:42 +0000 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-08-01 03:24:36 +0000 | <Guest53> | 9.6.5 |
| 2024-08-01 03:24:54 +0000 | <geekosaur> | right, that won't work |
| 2024-08-01 03:25:05 +0000 | <Guest53> | tried compiling outside of Nix https://paste.tomsmeding.com/6GS95JRQ |
| 2024-08-01 03:25:20 +0000 | <Guest53> | ahh ok |
| 2024-08-01 03:25:25 +0000 | <geekosaur> | I got it to build with 9.4.8 |
| 2024-08-01 03:25:32 +0000 | <Guest53> | so I have to sandbox is somehow |
| 2024-08-01 03:26:01 +0000 | <geekosaur> | probably easiest with stack, pick a resolver based on a ghc 9.4 version (see stackage.org) |
| 2024-08-01 03:26:39 +0000 | <Guest53> | Ok, I'll try that tomorrow, getting late here |
| 2024-08-01 03:26:39 +0000 | <geekosaur> | with cabal you can use ghcup to install ghc 9.4.8 and then put 'with-compiler: ghc-9.4.8' in the cabal.project |
| 2024-08-01 03:27:02 +0000 | <Guest53> | thanks for all your help |
| 2024-08-01 03:28:28 +0000 | Guest53 | (~Guest53@pool-108-29-84-48.nycmny.fios.verizon.net) (Quit: Client closed) |
| 2024-08-01 03:31:20 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-01 03:31:34 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2024-08-01 03:41:35 +0000 | m1dnight | (~christoph@d8D861035.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-08-01 04:03:07 +0000 | td_ | (~td@i53870912.versanet.de) |
| 2024-08-01 04:31:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-08-01 04:46:35 +0000 | m1dnight | (~christoph@78-20-63-126.access.telenet.be) |
| 2024-08-01 05:19:57 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-01 05:20:50 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 05:32:05 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-01 05:44:21 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 248 seconds) |
| 2024-08-01 05:54:21 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-08-01 05:55:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-08-01 05:56:43 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-08-01 05:57:33 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-08-01 06:04:20 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-08-01 06:04:58 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-08-01 06:14:59 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-08-01 06:16:01 +0000 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) |
| 2024-08-01 06:16:47 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:dd06:efe9:8bc2:a7e6) (Ping timeout: 244 seconds) |
| 2024-08-01 06:17:52 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:c4d5:25f2:175c:b94c) |
| 2024-08-01 06:19:12 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-08-01 06:19:30 +0000 | yangby | (~secret@122.235.84.159) |
| 2024-08-01 06:19:49 +0000 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 2024-08-01 06:20:06 +0000 | aljazmc | (~aljazmc@user/aljazmc) |
| 2024-08-01 06:22:41 +0000 | michalz | (~michalz@185.246.207.221) |
| 2024-08-01 06:23:20 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb7588b177e489ed6088.dip0.t-ipconnect.de) |
| 2024-08-01 06:25:07 +0000 | yangby | (~secret@122.235.84.159) (Quit: Go out for a walk and buy a drink.) |
| 2024-08-01 06:27:10 +0000 | CiaoSen | (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) |
| 2024-08-01 06:30:25 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-01 06:36:13 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-01 06:37:07 +0000 | billchenchina- | (~billchenc@118.38.173.226) |
| 2024-08-01 06:40:54 +0000 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-08-01 06:59:58 +0000 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 2024-08-01 07:03:39 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 07:05:42 +0000 | exarkun | (~exarkun@user/exarkun) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2024-08-01 07:07:32 +0000 | exarkun | (~exarkun@user/exarkun) |
| 2024-08-01 07:08:35 +0000 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-01 07:08:53 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 07:23:54 +0000 | elbear | (~lucian@86.123.19.204) |
| 2024-08-01 07:58:12 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-01 08:02:16 +0000 | misterfish | (~misterfis@87.215.131.102) |
| 2024-08-01 08:08:17 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-08-01 08:09:28 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-01 08:11:16 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 08:14:04 +0000 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 260 seconds) |
| 2024-08-01 08:14:41 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-08-01 08:14:52 +0000 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) |
| 2024-08-01 08:19:57 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-01 08:24:21 +0000 | elbear | (~lucian@86.123.19.204) (Quit: leaving) |
| 2024-08-01 08:36:16 +0000 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-01 08:37:39 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-08-01 08:38:32 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-08-01 08:38:58 +0000 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-08-01 08:39:46 +0000 | euleritian | (~euleritia@dynamic-176-007-171-211.176.7.pool.telefonica.de) |
| 2024-08-01 08:40:13 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-08-01 08:41:58 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2024-08-01 08:44:59 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 08:45:08 +0000 | starburst | (~starburst@2601:602:680:2280:e5f0:256d:1e2f:ff7a) |
| 2024-08-01 08:54:53 +0000 | euleritian | (~euleritia@dynamic-176-007-171-211.176.7.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2024-08-01 08:56:23 +0000 | euleritian | (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) |
| 2024-08-01 08:57:31 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3307-5b8b-2c7e-0e6d-bd92-ec26.rev.sfr.net) |
| 2024-08-01 08:57:46 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-08-01 08:58:39 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-08-01 09:04:55 +0000 | starburst | (~starburst@2601:602:680:2280:e5f0:256d:1e2f:ff7a) (Quit: Client closed) |
| 2024-08-01 09:07:27 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2024-08-01 09:08:30 +0000 | euleritian | (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-01 09:08:47 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 09:12:59 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-01 09:25:27 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-08-01 09:26:37 +0000 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2024-08-01 09:28:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-01 09:54:11 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-01 09:55:37 +0000 | chele | (~chele@user/chele) |
| 2024-08-01 09:56:45 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-08-01 09:58:14 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-01 10:01:24 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-01 10:09:48 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds) |
| 2024-08-01 10:10:16 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-08-01 10:11:08 +0000 | euleritian | (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) |
| 2024-08-01 10:15:45 +0000 | CiaoSen | (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) (Ping timeout: 265 seconds) |
| 2024-08-01 10:26:39 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: power) |
| 2024-08-01 10:51:30 +0000 | lortabac | (~lortabac@88-125-6-227.subs.proxad.net) |
| 2024-08-01 10:55:13 +0000 | euleritian | (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-01 10:55:30 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 11:02:59 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 11:07:19 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-08-01 11:08:10 +0000 | xff0x | (~xff0x@ai080132.d.east.v6connect.net) |
| 2024-08-01 11:09:21 +0000 | euleritian | (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) |
| 2024-08-01 11:13:05 +0000 | euleritian | (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-01 11:14:26 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 11:28:29 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-08-01 11:28:45 +0000 | euleritian | (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) |
| 2024-08-01 11:31:01 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
| 2024-08-01 11:38:45 +0000 | CiaoSen | (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) |
| 2024-08-01 11:40:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-01 11:49:58 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 12:01:15 +0000 | jkoshy | (99b9359beb@user/jkoshy) (Remote host closed the connection) |
| 2024-08-01 12:01:15 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Remote host closed the connection) |
| 2024-08-01 12:01:15 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Remote host closed the connection) |
| 2024-08-01 12:01:15 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Remote host closed the connection) |
| 2024-08-01 12:01:23 +0000 | lucyy | (228ee8f0ce@user/lucyy) (Read error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) (Read error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (Read error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Write error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (Write error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Write error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) (Read error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | jakzale | (6291399afa@user/jakzale) (Read error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Remote host closed the connection) |
| 2024-08-01 12:01:23 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Write error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Write error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Read error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Write error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Remote host closed the connection) |
| 2024-08-01 12:01:23 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Write error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Write error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | titibandit | (e33ffbab65@user/titibandit) (Remote host closed the connection) |
| 2024-08-01 12:01:23 +0000 | sm2n | (ae95cb1267@user/sm2n) (Write error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | tok | (da65c7b04b@user/tok) (Write error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Read error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Read error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) (Write error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | elevenkb | (ab07dcdb5a@2a03:6000:1812:100::13ac) (Remote host closed the connection) |
| 2024-08-01 12:01:23 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (Read error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Write error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Read error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) (Write error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) (Write error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | jleightcap | (7bc4014b62@user/jleightcap) (Write error: Connection reset by peer) |
| 2024-08-01 12:01:23 +0000 | probie | (cc0b34050a@user/probie) (Read error: Connection reset by peer) |
| 2024-08-01 12:01:24 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Remote host closed the connection) |
| 2024-08-01 12:01:24 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Remote host closed the connection) |
| 2024-08-01 12:01:24 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Remote host closed the connection) |
| 2024-08-01 12:01:24 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Remote host closed the connection) |
| 2024-08-01 12:01:24 +0000 | sus | (1b7af6299f@user/zeromomentum) (Remote host closed the connection) |
| 2024-08-01 12:01:24 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Read error: Connection reset by peer) |
| 2024-08-01 12:01:24 +0000 | duncan | (c6181279e3@user/meow/duncan) (Read error: Connection reset by peer) |
| 2024-08-01 12:01:24 +0000 | rselim | (ce261f06ff@user/milesrout) (Read error: Connection reset by peer) |
| 2024-08-01 12:01:24 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Read error: Connection reset by peer) |
| 2024-08-01 12:01:57 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) |
| 2024-08-01 12:01:57 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-08-01 12:01:58 +0000 | sus | (1b7af6299f@user/zeromomentum) |
| 2024-08-01 12:01:58 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2024-08-01 12:01:59 +0000 | elevenkb | (ab07dcdb5a@2a03:6000:1812:100::13ac) |
| 2024-08-01 12:01:59 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2024-08-01 12:01:59 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) |
| 2024-08-01 12:01:59 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2024-08-01 12:01:59 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) |
| 2024-08-01 12:02:00 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) |
| 2024-08-01 12:02:00 +0000 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) |
| 2024-08-01 12:02:00 +0000 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) |
| 2024-08-01 12:02:01 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) |
| 2024-08-01 12:02:01 +0000 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-08-01 12:02:02 +0000 | jakzale | (6291399afa@user/jakzale) |
| 2024-08-01 12:02:03 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) |
| 2024-08-01 12:02:03 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) |
| 2024-08-01 12:02:04 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) |
| 2024-08-01 12:02:04 +0000 | sm2n | (ae95cb1267@user/sm2n) |
| 2024-08-01 12:02:05 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-08-01 12:02:05 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2024-08-01 12:02:06 +0000 | tok | (da65c7b04b@user/tok) |
| 2024-08-01 12:02:06 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) |
| 2024-08-01 12:02:06 +0000 | duncan | (c6181279e3@user/meow/duncan) |
| 2024-08-01 12:02:06 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 2024-08-01 12:02:07 +0000 | titibandit | (e33ffbab65@user/titibandit) |
| 2024-08-01 12:02:07 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 2024-08-01 12:02:07 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 2024-08-01 12:02:08 +0000 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2024-08-01 12:02:08 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) |
| 2024-08-01 12:02:10 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) |
| 2024-08-01 12:02:11 +0000 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) |
| 2024-08-01 12:02:11 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
| 2024-08-01 12:02:12 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) |
| 2024-08-01 12:02:12 +0000 | lucyy | (228ee8f0ce@user/lucyy) |
| 2024-08-01 12:02:12 +0000 | probie | (cc0b34050a@user/probie) |
| 2024-08-01 12:02:12 +0000 | jkoshy | (99b9359beb@user/jkoshy) |
| 2024-08-01 12:02:12 +0000 | rselim | (ce261f06ff@user/milesrout) |
| 2024-08-01 12:02:13 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2024-08-01 12:02:13 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) |
| 2024-08-01 12:02:13 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) |
| 2024-08-01 12:02:13 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) |
| 2024-08-01 12:03:45 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-08-01 12:07:33 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-01 12:10:54 +0000 | euleritian | (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-08-01 12:11:48 +0000 | euleritian | (~euleritia@dynamic-176-006-148-026.176.6.pool.telefonica.de) |
| 2024-08-01 12:15:13 +0000 | CiaoSen | (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) (Ping timeout: 248 seconds) |
| 2024-08-01 12:18:43 +0000 | euleritian | (~euleritia@dynamic-176-006-148-026.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-01 12:18:59 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 12:20:51 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-01 12:21:33 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 12:22:52 +0000 | lortabac | (~lortabac@88-125-6-227.subs.proxad.net) (Quit: WeeChat 4.2.2) |
| 2024-08-01 12:24:17 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3307-5b8b-2c7e-0e6d-bd92-ec26.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-01 12:25:51 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-08-01 12:32:00 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-01 12:32:57 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 12:34:13 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-01 12:45:38 +0000 | dans19457 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 12:46:39 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-08-01 12:47:08 +0000 | euleritian | (~euleritia@dynamic-176-006-148-026.176.6.pool.telefonica.de) |
| 2024-08-01 12:47:56 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 252 seconds) |
| 2024-08-01 12:48:27 +0000 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 2024-08-01 12:51:13 +0000 | ZharMeny | (~user@user/ZharMeny) (Quit: !dinner) |
| 2024-08-01 12:59:02 +0000 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2024-08-01 13:05:18 +0000 | dans19457 | (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
| 2024-08-01 13:05:32 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 13:10:31 +0000 | Digitteknohippie | (~user@user/digit) |
| 2024-08-01 13:11:31 +0000 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2024-08-01 13:13:44 +0000 | CiaoSen | (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) |
| 2024-08-01 13:16:49 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-01 13:24:39 +0000 | Digitteknohippie | Digit |
| 2024-08-01 13:27:03 +0000 | CiaoSen | (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) (Ping timeout: 245 seconds) |
| 2024-08-01 13:28:47 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-01 13:31:11 +0000 | euleritian | (~euleritia@dynamic-176-006-148-026.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-08-01 13:31:40 +0000 | euleritian | (~euleritia@dynamic-176-006-145-237.176.6.pool.telefonica.de) |
| 2024-08-01 13:33:05 +0000 | euleritian | (~euleritia@dynamic-176-006-145-237.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-01 13:33:30 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 13:36:10 +0000 | califax_ | (~califax@user/califx) |
| 2024-08-01 13:37:46 +0000 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-08-01 13:37:46 +0000 | califax_ | califax |
| 2024-08-01 13:38:41 +0000 | ystael | (~ystael@user/ystael) |
| 2024-08-01 13:39:24 +0000 | <carbolymer> | how can I write this pattern? https://play.haskell.org/saved/fW1M6jqr |
| 2024-08-01 13:42:49 +0000 | <mauke> | what is that supposed to do? |
| 2024-08-01 13:43:23 +0000 | <carbolymer> | concat the two constructor parameters |
| 2024-08-01 13:43:40 +0000 | <mauke> | what |
| 2024-08-01 13:45:00 +0000 | <carbolymer> | what what |
| 2024-08-01 13:45:16 +0000 | <mauke> | are you looking for a function? |
| 2024-08-01 13:45:18 +0000 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-08-01 13:45:22 +0000 | <mauke> | do you know what patterns are? |
| 2024-08-01 13:45:40 +0000 | <carbolymer> | unidirectional pattern synonym should do the trick, right? |
| 2024-08-01 13:45:53 +0000 | <mauke> | what trick? what are you trying to do? |
| 2024-08-01 13:46:01 +0000 | <carbolymer> | concat the arguments |
| 2024-08-01 13:46:07 +0000 | <mauke> | that doesn't mean anything |
| 2024-08-01 13:46:09 +0000 | <carbolymer> | s/arguments/constructor parameters |
| 2024-08-01 13:46:21 +0000 | <mauke> | provide actual code |
| 2024-08-01 13:47:27 +0000 | <mauke> | because "concat the arugments" looks like this: concatF :: F -> [Int]; concatF (F xs ys) = xs <> ys |
| 2024-08-01 13:47:39 +0000 | <carbolymer> | I don't need a function |
| 2024-08-01 13:47:51 +0000 | <mauke> | "concat the arguments" is a function |
| 2024-08-01 13:48:05 +0000 | <carbolymer> | I want to hide that function behind a pattern synonym |
| 2024-08-01 13:48:15 +0000 | <mauke> | yeah, that's the part that makes no sense |
| 2024-08-01 13:48:21 +0000 | <carbolymer> | why? |
| 2024-08-01 13:48:34 +0000 | <mauke> | if you had it, how would you use it? |
| 2024-08-01 13:52:27 +0000 | <carbolymer> | mauke: like that: https://play.haskell.org/saved/beuVySgV |
| 2024-08-01 13:54:47 +0000 | <mauke> | ah |
| 2024-08-01 13:54:52 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-08-01 13:55:31 +0000 | <mauke> | you can't do that with regular patterns because the LHS has to be variables only, and all the variables have to occur exactly once on the RHS, which must be a pattern |
| 2024-08-01 13:56:00 +0000 | <mauke> | carbolymer: https://play.haskell.org/saved/Z2X6TiIs |
| 2024-08-01 13:56:28 +0000 | <carbolymer> | mauke: thanks! so I can't write that without viewpatterns? |
| 2024-08-01 13:57:01 +0000 | <mauke> | not as far as I'm aware |
| 2024-08-01 13:57:20 +0000 | <mauke> | because you're not just rearranging constructor arguments |
| 2024-08-01 13:57:29 +0000 | <mauke> | you want to do genuine computation (hence the function) |
| 2024-08-01 13:58:39 +0000 | <carbolymer> | thanks. I'm not very fond of ViewPatterns, but if I can't avoid it here... |
| 2024-08-01 14:01:30 +0000 | cheater_ | (~Username@user/cheater) |
| 2024-08-01 14:03:53 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2024-08-01 14:03:55 +0000 | cheater_ | cheater |
| 2024-08-01 14:09:38 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3215-391a-4514-437a-a746-c06d.rev.sfr.net) |
| 2024-08-01 14:15:08 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 255 seconds) |
| 2024-08-01 14:17:20 +0000 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-01 14:26:39 +0000 | Guest35 | (~Guest35@200.23.31.251) |
| 2024-08-01 14:26:50 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds) |
| 2024-08-01 14:31:14 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-01 14:39:00 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-01 14:39:55 +0000 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2024-08-01 14:39:55 +0000 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2024-08-01 14:39:55 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2024-08-01 14:41:26 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-08-01 14:42:27 +0000 | Guest35 | (~Guest35@200.23.31.251) (Quit: Client closed) |
| 2024-08-01 14:44:27 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 252 seconds) |
| 2024-08-01 14:49:03 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2024-08-01 14:53:01 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
| 2024-08-01 14:53:30 +0000 | edrx | (~Eduardo@179-191-209-44.static.sumicity.net.br) |
| 2024-08-01 14:54:39 +0000 | <edrx> | hi all! is there a way to ask ghci what is the type of <*>? how do I do that? |
| 2024-08-01 14:56:33 +0000 | yin | zzz |
| 2024-08-01 14:57:12 +0000 | <edrx> | more context: I always found Haskell super hard but I'm learning Lean now and I discovered that I was stuck in Haskell - and in Lean - because I never drew diagrams like this one, <http://anggtwu.net/IMAGES/2024-lean4-oficina-0.png>, explicitly... and I'm now trying to draw something like that for applicatives. |
| 2024-08-01 14:57:24 +0000 | <yushyin> | :t (<*>) |
| 2024-08-01 14:57:25 +0000 | <lambdabot> | Applicative f => f (a -> b) -> f a -> f b |
| 2024-08-01 14:57:29 +0000 | <edrx> | thanks =) |
| 2024-08-01 14:58:03 +0000 | <edrx> | is there a way to ask ghci its precedence too? |
| 2024-08-01 14:59:30 +0000 | <yushyin> | :info (<*>) |
| 2024-08-01 14:59:33 +0000 | spew | (~spew@201.141.102.132) |
| 2024-08-01 15:13:40 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-01 15:14:16 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 15:14:30 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-01 15:15:14 +0000 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-08-01 15:16:35 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-08-01 15:16:48 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-08-01 15:18:36 +0000 | falafel | (~falafel@2a0c:5a84:e301:4d01::5c13) |
| 2024-08-01 15:20:06 +0000 | <edrx> | yushyin: thanks again! =) |
| 2024-08-01 15:30:42 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-08-01 15:31:13 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-08-01 15:34:13 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2024-08-01 15:36:01 +0000 | <EvanR> | edrx, this is kind of like proof structured using the natural deduction notation https://www.researchgate.net/profile/Christoph-Benzmueller/publication/282157752/figure/fig3/AS:61… |
| 2024-08-01 15:36:08 +0000 | <EvanR> | in reverse |
| 2024-08-01 15:39:10 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-08-01 15:42:27 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
| 2024-08-01 15:43:23 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3215-391a-4514-437a-a746-c06d.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-01 15:43:35 +0000 | falafel | (~falafel@2a0c:5a84:e301:4d01::5c13) (Remote host closed the connection) |
| 2024-08-01 15:55:10 +0000 | ZharMeny | (~user@user/ZharMeny) (Remote host closed the connection) |
| 2024-08-01 15:55:15 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-08-01 15:56:30 +0000 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-01 15:56:56 +0000 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-01 15:57:05 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 15:58:14 +0000 | driib3 | (~driib@176.57.184.141) |
| 2024-08-01 15:58:57 +0000 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-01 16:14:06 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-08-01 16:15:12 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-08-01 16:19:29 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-08-01 16:22:41 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-08-01 16:24:47 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 16:25:49 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-08-01 16:26:07 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-08-01 16:29:03 +0000 | skyesoss | (~Thunderbi@128.135.204.35) |
| 2024-08-01 16:29:20 +0000 | skyesoss1 | (~Thunderbi@128.135.204.35) |
| 2024-08-01 16:30:00 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-08-01 16:33:24 +0000 | hayk | (~hayk@141.136.90.108) |
| 2024-08-01 16:33:25 +0000 | skyesoss | (~Thunderbi@128.135.204.35) (Ping timeout: 248 seconds) |
| 2024-08-01 16:33:25 +0000 | skyesoss1 | skyesoss |
| 2024-08-01 16:42:05 +0000 | raym | (~ray@user/raym) |
| 2024-08-01 16:42:20 +0000 | tabaqui | (~root@87.200.123.114) (Ping timeout: 260 seconds) |
| 2024-08-01 16:45:02 +0000 | smiesner | (b0cf5acf8c@user/smiesner) |
| 2024-08-01 16:45:35 +0000 | dans33115 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 16:47:14 +0000 | edrx | (~Eduardo@179-191-209-44.static.sumicity.net.br) (Ping timeout: 255 seconds) |
| 2024-08-01 16:47:36 +0000 | dans33115 | (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
| 2024-08-01 16:47:45 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 248 seconds) |
| 2024-08-01 16:47:51 +0000 | dans82058 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 16:48:31 +0000 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) |
| 2024-08-01 16:52:20 +0000 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2024-08-01 16:53:14 +0000 | xal | (~xal@mx1.xal.systems) |
| 2024-08-01 16:54:28 +0000 | dans82058 | (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
| 2024-08-01 16:54:34 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-08-01 16:54:42 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 16:55:19 +0000 | xal | (~xal@mx1.xal.systems) (Client Quit) |
| 2024-08-01 16:56:32 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-01 16:57:20 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-01 16:58:41 +0000 | img | (~img@user/img) |
| 2024-08-01 16:58:57 +0000 | xal | (~xal@mx1.xal.systems) |
| 2024-08-01 16:59:05 +0000 | <haskellbridge> | <Bowuigi> Indeed, it is a single term version of the right half (that is, with implicit context) of a typing derivation |
| 2024-08-01 17:01:55 +0000 | <haskellbridge> | <sm> Inst: Thanks for that @Inst, it's great |
| 2024-08-01 17:05:02 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-01 17:05:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-01 17:17:28 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-01 17:17:54 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 260 seconds) |
| 2024-08-01 17:20:20 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-08-01 17:20:55 +0000 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) |
| 2024-08-01 17:21:13 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-01 17:22:01 +0000 | Kryder | (~Kryder@90.201.223.82) (Read error: Connection reset by peer) |
| 2024-08-01 17:24:38 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-08-01 17:39:51 +0000 | <tomsmeding> | is there any common class that defines an operation with this type on `f`? (forall g h a. (forall b. g b -> h b) -> f g a -> f h a) |
| 2024-08-01 17:40:38 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-08-01 17:41:28 +0000 | <tomsmeding> | hoogle is not being helpful |
| 2024-08-01 17:41:49 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-08-01 17:46:02 +0000 | <tomsmeding> | hm, and if this is fmapF, then I also need traverseF: Applicative m => (forall b. g b -> m (h b)) -> f g a -> m (f h a) |
| 2024-08-01 17:46:24 +0000 | <tomsmeding> | one might expect this in data-fix, but no |
| 2024-08-01 17:46:43 +0000 | <danse-nr3> | it's a bit above my head, afraid i can't help |
| 2024-08-01 17:48:48 +0000 | <haskellbridge> | <mauke> https://hackage.haskell.org/package/mmorph-1.2.0/docs/Control-Monad-Morph.html#g:1 |
| 2024-08-01 17:49:25 +0000 | <tomsmeding> | mauke: oh so close! |
| 2024-08-01 17:49:42 +0000 | <tomsmeding> | thing is, I have no need for these things to be monads |
| 2024-08-01 17:50:06 +0000 | <int-e> | obscure package confirming my instinct that it should be called Functor1: https://hackage.haskell.org/package/unfix-binders-0.1.0/docs/Data-Binder-Unfix.html#t:Functor1 |
| 2024-08-01 17:50:07 +0000 | <haskellbridge> | <mauke> Closest thing I've got |
| 2024-08-01 17:50:38 +0000 | <tomsmeding> | int-e: nice! |
| 2024-08-01 17:50:39 +0000 | <int-e> | though that has Functor constraints |
| 2024-08-01 17:51:13 +0000 | <tomsmeding> | I could live with those |
| 2024-08-01 17:51:37 +0000 | <tomsmeding> | but that package is obscure and old enough that I'll just redefine |
| 2024-08-01 17:51:54 +0000 | <tomsmeding> | (this is a prototype anyway, wanted to know if I'd missed something obvious) |
| 2024-08-01 17:52:29 +0000 | <int-e> | yeah I wouldn't use that package either :) |
| 2024-08-01 17:52:42 +0000 | <tomsmeding> | (I did rename from FunctorF to Functor1, thanks) |
| 2024-08-01 17:52:57 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-08-01 17:58:16 +0000 | <haskellbridge> | <mauke> https://hackage.haskell.org/package/ffunctor-1.2.1/docs/Data-FFunctor.html |
| 2024-08-01 18:04:56 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-08-01 18:25:02 +0000 | <tomsmeding> | mauke: relevant, but not quite the same; more evidence that Functor1 is apparently better than FunctorF or FFunctor, because 'ffunctor' calls something else an FFunctor |
| 2024-08-01 18:25:45 +0000 | <tomsmeding> | hm, I guess there is some relation between the classes |
| 2024-08-01 18:26:08 +0000 | <tomsmeding> | a Functor1 is an FFunctor, when suitably newtype-wrapped |
| 2024-08-01 18:29:48 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
| 2024-08-01 18:43:30 +0000 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-08-01 18:44:45 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-01 18:53:31 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-08-01 18:54:13 +0000 | <jle`> | tomsmeding: i have one in a library too, i call it HFunctor https://hackage.haskell.org/package/functor-combinators-0.4.1.3/docs/Data-HFunctor.html |
| 2024-08-01 18:54:41 +0000 | <tomsmeding> | nice |
| 2024-08-01 18:54:56 +0000 | <tomsmeding> | yes, I found out that I actually must not have those additional Functor constraints, so your HFunctor would fit perfectly |
| 2024-08-01 18:55:05 +0000 | <jle`> | but i don't think i have the Applicative version |
| 2024-08-01 18:55:20 +0000 | <jle`> | i remember seeing one in related to vinyl |
| 2024-08-01 18:55:29 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-01 18:55:30 +0000 | <jle`> | ah wait no i do have it |
| 2024-08-01 18:55:32 +0000 | <jle`> | https://hackage.haskell.org/package/functor-combinators-0.4.1.3/docs/Data-HFunctor-HTraversable.html |
| 2024-08-01 18:55:41 +0000 | <tomsmeding> | right, that's precisely it |
| 2024-08-01 18:55:43 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-08-01 18:55:57 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-08-01 19:09:33 +0000 | <jle`> | hope it's useful :) the library itself pulls in quite a bit to define all the instances i could find that are somewhat commonly used |
| 2024-08-01 19:09:59 +0000 | <tomsmeding> | right, I saw that it has a fairly hefty dependency list, and I'd like to keep this thing light |
| 2024-08-01 19:10:13 +0000 | <tomsmeding> | the eternal problem of packages defining a useful class |
| 2024-08-01 19:18:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-01 19:29:10 +0000 | urdh | (~urdh@user/urdh) (Ping timeout: 265 seconds) |
| 2024-08-01 19:29:17 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-08-01 19:29:29 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-01 19:29:55 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 19:30:20 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-08-01 19:35:33 +0000 | urdh | (~urdh@user/urdh) |
| 2024-08-01 19:42:37 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-01 19:46:16 +0000 | falafel | (~falafel@2a0c:5a84:e301:4d01::5c13) |
| 2024-08-01 19:50:29 +0000 | hayk | (~hayk@141.136.90.108) |
| 2024-08-01 19:50:53 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-08-01 19:57:46 +0000 | iteratee_ | iteratee |
| 2024-08-01 20:04:47 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-01 20:10:28 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-01 20:12:12 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-08-01 20:14:06 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2024-08-01 20:20:30 +0000 | <Inst> | ??? |
| 2024-08-01 20:20:40 +0000 | <Inst> | @sm |
| 2024-08-01 20:20:55 +0000 | <Inst> | regarding sumi-news? |
| 2024-08-01 20:22:23 +0000 | <Inst> | thank this guy instead |
| 2024-08-01 20:22:24 +0000 | <Inst> | https://alexmingoia.com |
| 2024-08-01 20:26:21 +0000 | falafel | (~falafel@2a0c:5a84:e301:4d01::5c13) (Remote host closed the connection) |
| 2024-08-01 20:28:58 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-08-01 20:32:31 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2024-08-01 20:33:54 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-08-01 20:39:58 +0000 | AlexZenon | (~alzenon@94.233.241.125) (Ping timeout: 245 seconds) |
| 2024-08-01 20:44:34 +0000 | AlexZenon | (~alzenon@94.233.241.125) |
| 2024-08-01 21:11:36 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-08-01 21:15:05 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-01 21:15:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-01 21:20:24 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 260 seconds) |
| 2024-08-01 21:21:05 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 2024-08-01 21:28:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-01 21:32:09 +0000 | Square | (~Square@user/square) |
| 2024-08-01 21:34:20 +0000 | pavonia | (~user@user/siracusa) |
| 2024-08-01 21:41:42 +0000 | billchenchina- | (~billchenc@118.38.173.226) (Quit: Leaving) |
| 2024-08-01 21:43:29 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-08-01 21:59:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-01 22:02:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-01 22:09:09 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2024-08-01 22:14:03 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-01 22:14:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-01 22:22:01 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2024-08-01 22:33:51 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-01 22:48:26 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-08-01 22:50:12 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-08-01 22:55:55 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb7588b177e489ed6088.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-08-01 23:09:39 +0000 | <jackdk> | tomsmeding: You have asked for `forall g h a. (forall b. g b -> h b) -> f g a -> f h a`. Why do you need the rank-2 type if you're mentioning `a` in your type signatures? |
| 2024-08-01 23:11:16 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-01 23:13:39 +0000 | <jackdk> | tomsmeding: I usually find https://hackage.haskell.org/package/barbies-2.1.1.0/docs/Data-Functor-Barbie.html#t:FunctorB is the most practical of these libraries, because there's been some good work that's gone into derivability and it has most of the classes I want. Unfortunately the name is a bit cringe. |
| 2024-08-01 23:14:05 +0000 | <jackdk> | (I hold out hope that we'll see a new version of package `distributive` with HKD Representable, but last time I asked edwardk about that he said someone (Aaron?) had found pretty fundamental laziness issues with it. Which is a shame.) |
| 2024-08-01 23:18:45 +0000 | skyesoss | (~Thunderbi@128.135.204.35) (Ping timeout: 248 seconds) |
| 2024-08-01 23:22:31 +0000 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-08-01 23:26:41 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |
| 2024-08-01 23:35:04 +0000 | ZharMeny | (~user@user/ZharMeny) (Quit: ...) |
| 2024-08-01 23:35:07 +0000 | hammock | (~hammock@2600:1700:19a1:3330::d) (Quit: WeeChat 4.3.5) |
| 2024-08-01 23:35:29 +0000 | tcard | (~tcard@p4324234-ipxg22901hodogaya.kanagawa.ocn.ne.jp) (Remote host closed the connection) |
| 2024-08-01 23:35:57 +0000 | tcard | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) |
| 2024-08-01 23:38:45 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-08-01 23:40:39 +0000 | yangby | (~secret@122.235.84.159) |
| 2024-08-01 23:41:44 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-08-01 23:43:17 +0000 | <yangby> | && make test |
| 2024-08-01 23:43:20 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-08-01 23:43:45 +0000 | <yangby> | `q1jj`q1jjkkkkkkk kkkkk kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkjjkkkkkkkkkkkkkkkkkjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjkkkkkk jjjjj jjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjkkkkkkkkko |
| 2024-08-01 23:43:59 +0000 | <geekosaur> | gesundheit |
| 2024-08-01 23:44:04 +0000 | <yangby> | //kkkkkkkkkkkkkkkkkkkkkkjjjjjjjjjjjjjjjjjjjk |
| 2024-08-01 23:44:06 +0000 | <yangby> | j |
| 2024-08-01 23:44:08 +0000 | <geekosaur> | yangby, ^^ |
| 2024-08-01 23:44:23 +0000 | <yangby> | hkkkkkkkkkkkkkkkkk |
| 2024-08-01 23:44:32 +0000 | <yangby> | ddkkkkkkddjjjjddw |
| 2024-08-01 23:44:35 +0000 | <yangby> | `q2s |
| 2024-08-01 23:44:42 +0000 | ChanServ | +o geekosaur |
| 2024-08-01 23:44:52 +0000 | <yangby> | cp constxd op_4 Sciencentistguy Ekho Natch codedmart demchse |
| 2024-08-01 23:44:54 +0000 | <yangby> | y |
| 2024-08-01 23:44:58 +0000 | <yangby> | Rjjjjjjjjj |
| 2024-08-01 23:44:59 +0000 | <geekosaur> | mode #haskell +q yangby |
| 2024-08-01 23:45:03 +0000 | geekosaur | +q yangby!*@* |
| 2024-08-01 23:45:12 +0000 | <geekosaur> | almost as bad as they are 😕 |
| 2024-08-01 23:45:45 +0000 | geekosaur | -o geekosaur |
| 2024-08-01 23:45:57 +0000 | <sprout> | irc life |
| 2024-08-01 23:47:16 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2024-08-01 23:50:26 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2024-08-01 23:55:26 +0000 | ChanServ | +o litharge |
| 2024-08-01 23:55:26 +0000 | litharge | -qo yangby!*@* litharge |
| 2024-08-01 23:56:28 +0000 | <yangby> | jkkkkkkkkkkkkkkkkkjjkkojjjjjjjjjjjjjjjkkjjjjkkkkddddddddddddddddddddddddkkkllllllllllll*lllllllllxxxxkkkkkkjlxxxxjjjjjllllllllxxxxcuxxkkkkkkkkhhhhhhhhhhh*xxxxkkkkknxxxxxkddkkkkkkkkkkkkkkkkkkkkkkkkjjjj kk kk Go*/kkkkkkkkkkkkkkkkkkkkkkjo/* TODO yangbyw |
| 2024-08-01 23:57:05 +0000 | <yangby> | connrs: |
| 2024-08-01 23:57:09 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-08-01 23:57:10 +0000 | <yangby> | `hjkkkkkkkkkkkkkk |
| 2024-08-01 23:57:20 +0000 | <yangby> | xxxxxxiUpdatexxxxxxiUpdatew |
| 2024-08-01 23:57:20 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-08-01 23:57:42 +0000 | <yangby> | ndwiUpdateErrordwiUpdateErroriSmtToolErrorhhhhhhhhhhhhhhhhhhdwiSmtToolErrorgn/UpdateError |
| 2024-08-01 23:57:49 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-01 23:57:50 +0000 | hayk | (~hayk@141.136.90.108) |
| 2024-08-01 23:57:50 +0000 | xff0x | (~xff0x@ai080132.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 2024-08-01 23:57:54 +0000 | <yangby> | llllllllllli as SmtToolErrordwiSmtToolErrorw |
| 2024-08-01 23:57:59 +0000 | <yangby> | jjjjjjjjjjjjjjjjjj |
| 2024-08-01 23:58:10 +0000 | <yangby> | :%s/VerifyError/UpdateError/g |
| 2024-08-01 23:58:12 +0000 | <yangby> | :w |
| 2024-08-01 23:59:13 +0000 | <yangby> | `q2 |
| 2024-08-01 23:59:17 +0000 | <yangby> | `q1o`q1o0w |
