| 2025-07-27 00:02:25 +0200 | __monty__ | (~toonn@user/toonn) (Quit: Lost terminal) |
| 2025-07-27 00:04:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 00:04:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:2505:b2a2:5b46:790c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-27 00:08:12 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-07-27 00:09:08 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-07-27 00:13:01 +0200 | malte | (~malte@mal.tc) malte |
| 2025-07-27 00:14:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 00:18:39 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 00:18:53 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 00:18:55 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-27 00:19:27 +0200 | sp1ff` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
| 2025-07-27 00:20:09 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2025-07-27 00:21:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-27 00:25:04 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-27 00:32:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 00:37:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 00:38:02 +0200 | Square2 | (~Square@user/square) Square |
| 2025-07-27 00:48:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 00:48:35 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 2025-07-27 00:49:57 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-07-27 00:51:32 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-07-27 00:51:57 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-27 00:52:34 +0200 | trickard_ | trickard |
| 2025-07-27 00:53:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 00:53:35 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-07-27 00:55:07 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2025-07-27 00:56:53 +0200 | jespada | (~jespada@2800:a4:2202:b900:10f7:85db:6b74:bb85) (Ping timeout: 248 seconds) |
| 2025-07-27 00:59:46 +0200 | jespada | (~jespada@2800:a4:2202:8500:b4de:f080:b655:a33c) jespada |
| 2025-07-27 01:03:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 01:04:03 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-07-27 01:05:18 +0200 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-07-27 01:05:34 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-07-27 01:08:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 01:13:27 +0200 | sprotte24_ | (~sprotte24@p200300d16f126000e5c0bbb54d175ee7.dip0.t-ipconnect.de) |
| 2025-07-27 01:17:16 +0200 | sprotte24 | (~sprotte24@p200300d16f126000e5c0bbb54d175ee7.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-07-27 01:18:48 +0200 | acidjnk | (~acidjnk@p200300d6e70b6626e19a90befcd24efc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-07-27 01:19:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 01:22:25 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-27 01:22:39 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-07-27 01:23:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 01:30:02 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2025-07-27 01:34:04 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-27 01:34:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 01:39:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 01:39:54 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2025-07-27 01:42:06 +0200 | sprotte24_ | (~sprotte24@p200300d16f126000e5c0bbb54d175ee7.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-27 01:43:50 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-27 01:50:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 01:52:38 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-27 01:53:08 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-07-27 01:54:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-27 02:05:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 02:06:20 +0200 | cowboy8625 | (~cowboy@23.92.1.129) |
| 2025-07-27 02:06:56 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 02:09:28 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 02:11:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-27 02:21:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 02:23:37 +0200 | trickard_ | trickard |
| 2025-07-27 02:25:26 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2025-07-27 02:26:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 02:37:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 02:41:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 02:46:59 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-07-27 02:49:51 +0200 | cowboy8625 | (~cowboy@23.92.1.129) (Quit: WeeChat 3.5) |
| 2025-07-27 02:51:36 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 02:52:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 02:58:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 03:10:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 03:13:05 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-07-27 03:14:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 03:16:58 +0200 | phma | (~phma@host-67-44-208-80.hnremote.net) (Read error: Connection reset by peer) |
| 2025-07-27 03:18:06 +0200 | phma | (~phma@2001:5b0:210d:dd28:1500:e6:95ce:ca1b) |
| 2025-07-27 03:19:15 +0200 | trickard_ | trickard |
| 2025-07-27 03:22:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 03:22:46 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-07-27 03:26:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 03:28:46 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-07-27 03:31:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 03:41:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 03:45:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 03:55:13 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-07-27 03:57:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 04:02:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 04:05:02 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-07-27 04:05:37 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-07-27 04:09:04 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 04:09:17 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 04:12:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 04:16:42 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-27 04:16:59 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-07-27 04:17:08 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-07-27 04:17:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 04:19:29 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-27 04:23:04 +0200 | Square | (~Square4@user/square) Square |
| 2025-07-27 04:25:58 +0200 | Square2 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-07-27 04:27:56 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 04:28:09 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 04:28:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 04:33:16 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-27 04:33:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 04:35:02 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-27 04:35:38 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-27 04:38:36 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 04:38:59 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 04:44:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 04:45:32 +0200 | jackdk | (uid373013@cssa/life/jackdk) jackdk |
| 2025-07-27 04:49:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-27 04:50:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 05:01:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-27 05:02:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 05:03:03 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-07-27 05:07:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 05:17:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 05:21:18 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-27 05:22:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 05:25:59 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-27 05:32:56 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 05:33:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 05:37:02 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-07-27 05:37:22 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-27 05:37:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 05:48:44 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-07-27 05:48:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 05:50:21 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-07-27 05:53:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-27 05:55:53 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-27 06:00:39 +0200 | sp1ff`` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
| 2025-07-27 06:02:42 +0200 | sp1ff` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 276 seconds) |
| 2025-07-27 06:04:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 06:07:15 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-27 06:09:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 06:20:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 06:20:15 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-27 06:26:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 06:38:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 06:42:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 06:42:48 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-07-27 06:43:24 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-27 06:48:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) |
| 2025-07-27 06:48:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Client Quit) |
| 2025-07-27 06:51:54 +0200 | trickard_ | trickard |
| 2025-07-27 06:53:58 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-07-27 06:58:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 07:03:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 07:09:46 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-07-27 07:10:14 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-27 07:14:15 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-07-27 07:14:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 07:15:05 +0200 | <Axman6> | @hoogle Double -> Float |
| 2025-07-27 07:15:05 +0200 | <lambdabot> | GHC.Float double2Float :: Double -> Float |
| 2025-07-27 07:15:05 +0200 | <lambdabot> | Extra doubleToFloat :: Double -> Float |
| 2025-07-27 07:15:05 +0200 | <lambdabot> | Numeric.Extra doubleToFloat :: Double -> Float |
| 2025-07-27 07:17:37 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-07-27 07:17:59 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 07:19:20 +0200 | <monochrom> | realToFrac |
| 2025-07-27 07:20:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 07:23:29 +0200 | <probie> | > sqrt (-1) :: Float |
| 2025-07-27 07:23:30 +0200 | <lambdabot> | NaN |
| 2025-07-27 07:23:45 +0200 | <probie> | > realToFrac (sqrt (-1) :: Double) :: Float |
| 2025-07-27 07:23:46 +0200 | <lambdabot> | -Infinity |
| 2025-07-27 07:25:05 +0200 | <probie> | > [realToFrac ((-0) :: Double) :: Float, -0] |
| 2025-07-27 07:25:07 +0200 | <lambdabot> | [0.0,-0.0] |
| 2025-07-27 07:30:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 07:34:42 +0200 | trickard_ | trickard |
| 2025-07-27 07:34:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 07:38:31 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 07:38:45 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 07:43:50 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-07-27 07:45:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 07:46:07 +0200 | Square2 | (~Square@user/square) Square |
| 2025-07-27 07:48:18 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-07-27 07:49:29 +0200 | inline | (~inline@ip-005-146-196-034.um05.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2025-07-27 07:49:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 07:49:58 +0200 | Square | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-07-27 07:53:19 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 07:53:33 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 08:06:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 08:11:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-27 08:18:58 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-27 08:22:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 08:27:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 08:37:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 08:41:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 08:42:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-27 08:46:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) |
| 2025-07-27 08:52:46 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-07-27 08:53:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 08:54:53 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 08:55:06 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 08:57:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 09:00:01 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-27 09:00:41 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-27 09:07:25 +0200 | dhil | (~dhil@5.151.29.139) dhil |
| 2025-07-27 09:08:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 09:14:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-27 09:16:54 +0200 | trickard__ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 09:17:30 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-07-27 09:26:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 09:31:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 09:34:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-07-27 09:40:24 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-07-27 09:40:39 +0200 | trickard__ | trickard |
| 2025-07-27 09:42:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 09:46:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 09:52:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 09:55:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-27 09:56:29 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-27 09:57:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 09:59:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) |
| 2025-07-27 10:06:07 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2025-07-27 10:06:17 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-07-27 10:07:45 +0200 | dhil | (~dhil@5.151.29.139) (Ping timeout: 276 seconds) |
| 2025-07-27 10:07:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 10:10:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-27 10:12:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 10:19:15 +0200 | yegor | (~yegor@user/yegorc) (Excess Flood) |
| 2025-07-27 10:19:44 +0200 | yegor | (~yegor@user/yegorc) yegorc |
| 2025-07-27 10:23:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 10:27:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 10:27:31 +0200 | acidjnk | (~acidjnk@p200300d6e70b6641f5079f6a9f0d0688.dip0.t-ipconnect.de) acidjnk |
| 2025-07-27 10:38:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 10:43:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 10:45:02 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-27 10:45:38 +0200 | sprotte24 | (~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de) |
| 2025-07-27 10:53:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 10:58:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 11:09:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 11:14:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 11:25:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 11:27:21 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-07-27 11:30:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 11:39:00 +0200 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) |
| 2025-07-27 11:40:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 11:40:59 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 11:41:12 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 11:44:14 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 11:45:05 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 11:45:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 11:51:28 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 11:54:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 11:54:25 +0200 | dumptruckman | (~dumptruck@66-175-211-75.ip.linodeusercontent.com) (Ping timeout: 248 seconds) |
| 2025-07-27 11:54:55 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 276 seconds) |
| 2025-07-27 12:01:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 12:02:37 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-27 12:03:52 +0200 | sprotte24 | (~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-27 12:11:07 +0200 | jackdk | (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
| 2025-07-27 12:14:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 12:18:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 12:19:42 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-27 12:19:44 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-27 12:22:32 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-27 12:24:10 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-27 12:30:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 12:31:51 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-07-27 12:34:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 12:42:28 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 245 seconds) |
| 2025-07-27 12:45:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 12:49:34 +0200 | tureba | (~tureba@tureba.org) (Ping timeout: 260 seconds) |
| 2025-07-27 12:50:28 +0200 | trickard_ | trickard |
| 2025-07-27 12:50:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 12:54:10 +0200 | <lxsameer> | hey folks, I defined a typeclass A and type B in the same module, when i try to instanciate class A for type B, ghc reports back and error saying that method 'foo' of typeclass A is not a visible method of class A. any idea why? |
| 2025-07-27 12:56:21 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-27 12:58:22 +0200 | <Leary> | lxsameer: Presumably, what it says. Either `foo` isn't visible (in scope where you declare the instance) or isn't a method of `A`. |
| 2025-07-27 13:01:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-27 13:01:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 13:02:09 +0200 | <lxsameer> | Apparently, I'm blind, I struggled with this for an hour, and at the end, it was a typo |
| 2025-07-27 13:02:12 +0200 | <lxsameer> | sorry about that |
| 2025-07-27 13:03:24 +0200 | bramh | (~bramh@user/bramh) (Quit: Ping timeout (120 seconds)) |
| 2025-07-27 13:03:36 +0200 | bramh | (~bramh@user/bramh) bramh |
| 2025-07-27 13:05:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-27 13:06:58 +0200 | jespada | (~jespada@2800:a4:2202:8500:b4de:f080:b655:a33c) (Ping timeout: 248 seconds) |
| 2025-07-27 13:09:43 +0200 | jespada | (~jespada@2800:a4:2217:a700:b07d:130b:9052:aae1) jespada |
| 2025-07-27 13:09:58 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds) |
| 2025-07-27 13:10:09 +0200 | reb0und | (~reb0und@c-67-180-190-84.hsd1.ca.comcast.net) |
| 2025-07-27 13:16:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 13:18:58 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-07-27 13:19:04 +0200 | qqe | (~qqq@185.54.23.14) |
| 2025-07-27 13:19:37 +0200 | reb0und | (~reb0und@c-67-180-190-84.hsd1.ca.comcast.net) (Quit: reb0und) |
| 2025-07-27 13:19:49 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-07-27 13:20:16 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-07-27 13:21:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-27 13:26:58 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-07-27 13:29:07 +0200 | sprotte24 | (~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de) |
| 2025-07-27 13:32:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 13:35:41 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-07-27 13:37:14 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-07-27 13:37:36 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 13:37:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 13:40:59 +0200 | axeman | (~quassel@2a02:908:5c3:ad80:6ba4:5ad2:a240:fa7e) axeman |
| 2025-07-27 13:42:23 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) ethereal_ |
| 2025-07-27 13:45:38 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 13:47:03 +0200 | <[exa]> | is there some convenient operator (or syntax idea or so) that could remove the "pure" from applicative calls like: f <$> arg1 <*> arg2 <*> pure pureArg3 <*> arg4 |
| 2025-07-27 13:47:50 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 13:47:51 +0200 | <ethereal_> | what? 0_0 |
| 2025-07-27 13:48:14 +0200 | <[exa]> | like, I'm nitpicking for sure |
| 2025-07-27 13:48:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 13:48:41 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 13:48:42 +0200 | <[exa]> | but I have a lot of such mixed calls here and didn't find anything obvious so I thought I'd ask |
| 2025-07-27 13:49:56 +0200 | axeman | (~quassel@2a02:908:5c3:ad80:6ba4:5ad2:a240:fa7e) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-07-27 13:50:18 +0200 | <Leary> | @hoogle Functor f => f (a -> b) -> a -> f b |
| 2025-07-27 13:50:19 +0200 | <lambdabot> | Control.Lens.Lens (??) :: Functor f => f (a -> b) -> a -> f b |
| 2025-07-27 13:50:19 +0200 | <lambdabot> | Control.Lens.Operators (??) :: Functor f => f (a -> b) -> a -> f b |
| 2025-07-27 13:50:19 +0200 | <lambdabot> | Diagrams.Prelude (??) :: Functor f => f (a -> b) -> a -> f b |
| 2025-07-27 13:51:09 +0200 | <[exa]> | oh stupid me, I was hoogling it with :: instead of =>....... |
| 2025-07-27 13:51:17 +0200 | <[exa]> | Leary: thanks! |
| 2025-07-27 13:52:27 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-27 13:53:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 13:53:36 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-27 13:55:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 14:00:17 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-27 14:04:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |