| 2025-07-17 00:02:41 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-07-17 00:04:58 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-17 00:05:30 +0200 | lfr` | (~user@i59F7AEE4.versanet.de) |
| 2025-07-17 00:09:15 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-17 00:10:57 +0200 | lfr` | (~user@i59F7AEE4.versanet.de) (Ping timeout: 276 seconds) |
| 2025-07-17 00:14:42 +0200 | trickard_ | trickard |
| 2025-07-17 00:16:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 00:20:26 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 272 seconds) |
| 2025-07-17 00:21:05 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-07-17 00:21:30 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 00:23:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-17 00:26:19 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-17 00:26:29 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds) |
| 2025-07-17 00:29:16 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-07-17 00:29:16 +0200 | ljdarj1 | ljdarj |
| 2025-07-17 00:34:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 00:37:16 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 00:37:23 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-07-17 00:39:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-17 00:41:00 +0200 | <Unicorn_Princess> | in cases where both work, do you prefer case expressions, or just function definition pattern matching? (e.g. f (Just x) = .., f Nothing = ..) |
| 2025-07-17 00:41:22 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-17 00:42:13 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 252 seconds) |
| 2025-07-17 00:42:24 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 260 seconds) |
| 2025-07-17 00:43:24 +0200 | <geekosaur> | the latter |
| 2025-07-17 00:43:39 +0200 | <Unicorn_Princess> | any reason? |
| 2025-07-17 00:45:11 +0200 | <Unicorn_Princess> | personally i guess i don't like repeating the function name, but on the other hand, it is conceptually simpler.. |
| 2025-07-17 00:45:18 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2025-07-17 00:45:33 +0200 | falafel | (~falafel@79.117.174.28) falafel |
| 2025-07-17 00:45:50 +0200 | <geekosaur> | most people consider it writing what you mean, although I will add the observation that it's only true if you're used to mathematical notation |
| 2025-07-17 00:45:58 +0200 | <geekosaur> | where functions are often defined that way |
| 2025-07-17 00:46:26 +0200 | <geekosaur> | you might have nnoticed that the mathies kinda rule in the Haskell realm 🙂 |
| 2025-07-17 00:48:09 +0200 | falafel | (~falafel@79.117.174.28) (Remote host closed the connection) |
| 2025-07-17 00:48:09 +0200 | sprotte24 | (~sprotte24@p200300d16f055c002408fd05648795dd.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-07-17 00:50:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 00:53:07 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 00:54:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-17 00:56:12 +0200 | <Unicorn_Princess> | makes sense, thanks |
| 2025-07-17 00:58:19 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 268 seconds) |
| 2025-07-17 00:58:54 +0200 | <jackdk> | `f = \case ...` (Requires `{-# LANGUAGE LambdaCase #-}` |
| 2025-07-17 01:02:38 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 268 seconds) |
| 2025-07-17 01:03:31 +0200 | acidjnk | (~acidjnk@p200300d6e70b661810c0baac8c5eeb00.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-07-17 01:05:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 01:06:31 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-07-17 01:09:12 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 01:10:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-17 01:12:42 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-17 01:13:57 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds) |
| 2025-07-17 01:17:18 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-07-17 01:19:07 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 01:19:20 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 2025-07-17 01:19:25 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-07-17 01:20:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 01:24:19 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 276 seconds) |
| 2025-07-17 01:24:46 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (Quit: We're here. We're queer. Connection reset by peer) |
| 2025-07-17 01:24:52 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-17 01:25:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-17 01:35:17 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 01:36:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 01:40:15 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 268 seconds) |
| 2025-07-17 01:41:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-07-17 01:44:56 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-17 01:44:59 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-17 01:51:19 +0200 | lfr` | (~user@i59F7AEE4.versanet.de) |
| 2025-07-17 01:51:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 01:55:56 +0200 | lfr` | (~user@i59F7AEE4.versanet.de) (Ping timeout: 252 seconds) |
| 2025-07-17 01:58:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-17 02:07:18 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 02:09:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 02:10:37 +0200 | sim590 | (~simon@2001:18c0:a82:2400::9fb) (Quit: WeeChat 4.6.3) |
| 2025-07-17 02:12:03 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 252 seconds) |
| 2025-07-17 02:14:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-17 02:23:34 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 02:28:37 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds) |
| 2025-07-17 02:32:20 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-17 02:35:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 02:35:37 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-17 02:38:21 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-17 02:39:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-17 02:39:36 +0200 | alphaerik | (~halloy466@user/alphaerik) alphaerik |
| 2025-07-17 02:39:39 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 02:40:35 +0200 | alphaerik | (~halloy466@user/alphaerik) (Quit: alphaerik) |
| 2025-07-17 02:42:12 +0200 | alphaerik | (~alphaerik@38.180.193.125) |
| 2025-07-17 02:42:34 +0200 | alphaerik | (~alphaerik@38.180.193.125) (Changing host) |
| 2025-07-17 02:42:34 +0200 | alphaerik | (~alphaerik@user/alphaerik) alphaerik |
| 2025-07-17 02:44:55 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 276 seconds) |
| 2025-07-17 02:50:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 02:55:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-17 02:55:49 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 02:56:13 +0200 | alphaerik | (~alphaerik@user/alphaerik) (Ping timeout: 245 seconds) |
| 2025-07-17 02:56:24 +0200 | alphaerik | (~alphaerik@38.180.193.125) |
| 2025-07-17 02:56:36 +0200 | alphaerik | (~alphaerik@38.180.193.125) (Changing host) |
| 2025-07-17 02:56:36 +0200 | alphaerik | (~alphaerik@user/alphaerik) alphaerik |
| 2025-07-17 03:01:18 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 272 seconds) |
| 2025-07-17 03:03:12 +0200 | alphaerik | (~alphaerik@user/alphaerik) (Ping timeout: 276 seconds) |
| 2025-07-17 03:05:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 03:07:57 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-07-17 03:09:09 +0200 | Codeko | (~user@user/Codeko) Codeko |
| 2025-07-17 03:10:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-17 03:12:00 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 03:17:05 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds) |
| 2025-07-17 03:21:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 03:25:44 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2025-07-17 03:26:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-17 03:27:47 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 03:30:30 +0200 | Codeko | (~user@user/Codeko) (Read error: Connection reset by peer) |
| 2025-07-17 03:32:39 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 252 seconds) |
| 2025-07-17 03:36:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 03:43:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-17 03:43:50 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 03:44:27 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2025-07-17 03:48:34 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds) |
| 2025-07-17 03:52:34 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 260 seconds) |
| 2025-07-17 03:54:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 03:59:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-17 03:59:59 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 04:04:52 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-07-17 04:05:10 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 268 seconds) |
| 2025-07-17 04:05:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 04:07:22 +0200 | mange | (~mange@user/mange) mange |
| 2025-07-17 04:09:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-17 04:14:28 +0200 | qqe | (~qqq@185.54.21.199) (Quit: Lost terminal) |
| 2025-07-17 04:16:14 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 04:20:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 04:21:03 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 252 seconds) |
| 2025-07-17 04:25:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-17 04:32:30 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 04:35:21 +0200 | td_ | (~td@i53870934.versanet.de) (Ping timeout: 252 seconds) |
| 2025-07-17 04:36:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 04:37:01 +0200 | td_ | (~td@i5387090B.versanet.de) |
| 2025-07-17 04:37:37 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 248 seconds) |
| 2025-07-17 04:40:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-17 04:43:54 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-17 04:48:16 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-07-17 04:51:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 04:56:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-17 05:05:03 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 05:07:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 05:09:44 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 260 seconds) |
| 2025-07-17 05:11:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-17 05:17:08 +0200 | lfr` | (~user@i59F7AED9.versanet.de) |
| 2025-07-17 05:22:00 +0200 | lfr` | (~user@i59F7AED9.versanet.de) (Ping timeout: 252 seconds) |
| 2025-07-17 05:22:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 05:24:19 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-07-17 05:27:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-17 05:33:17 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 05:38:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 05:38:28 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 276 seconds) |
| 2025-07-17 05:42:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-17 05:43:18 +0200 | aforemny | (~aforemny@2001:9e8:6cc9:7f00:fef4:96e0:82b6:8409) aforemny |
| 2025-07-17 05:43:24 +0200 | aforemny_ | (~aforemny@2001:9e8:6cea:7700:a76c:242b:21df:a2c1) (Ping timeout: 244 seconds) |
| 2025-07-17 05:49:34 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 05:51:57 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-17 05:53:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 05:54:25 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 248 seconds) |
| 2025-07-17 05:58:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-17 06:03:34 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-17 06:05:47 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 06:06:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 06:10:45 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 252 seconds) |
| 2025-07-17 06:10:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-17 06:12:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-17 06:12:39 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Remote host closed the connection) |
| 2025-07-17 06:16:34 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-17 06:16:50 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-07-17 06:21:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 06:21:57 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 06:26:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-17 06:26:38 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 245 seconds) |
| 2025-07-17 06:28:19 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-07-17 06:30:40 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 06:35:23 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 245 seconds) |
| 2025-07-17 06:35:52 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Remote host closed the connection) |
| 2025-07-17 06:37:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 06:37:46 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-17 06:41:40 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Remote host closed the connection) |
| 2025-07-17 06:44:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-17 06:46:47 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 06:48:29 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-17 06:51:29 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 248 seconds) |
| 2025-07-17 06:55:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 07:00:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-17 07:03:05 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 07:07:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 07:08:10 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 276 seconds) |
| 2025-07-17 07:08:29 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-07-17 07:11:19 +0200 | Axma55379 | Axman6 |
| 2025-07-17 07:12:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-17 07:18:02 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 07:22:47 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-07-17 07:22:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 07:23:01 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 248 seconds) |
| 2025-07-17 07:23:10 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-07-17 07:27:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-17 07:27:08 +0200 | michalz | (~michalz@185.246.207.200) |
| 2025-07-17 07:30:23 +0200 | trickard_ | trickard |
| 2025-07-17 07:34:17 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 07:38:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 07:38:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-07-17 07:39:39 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 260 seconds) |
| 2025-07-17 07:42:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-17 07:45:20 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 244 seconds) |
| 2025-07-17 07:45:44 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 2025-07-17 07:45:53 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-17 07:47:37 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-07-17 07:48:02 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-17 07:50:23 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2025-07-17 07:50:27 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 07:53:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 07:55:48 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 268 seconds) |
| 2025-07-17 07:58:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-17 08:06:42 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 08:12:16 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 272 seconds) |
| 2025-07-17 08:19:06 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-07-17 08:19:06 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 08:24:18 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 272 seconds) |
| 2025-07-17 08:27:39 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-07-17 08:29:28 +0200 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-07-17 08:30:37 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-17 08:35:12 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 08:39:49 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 248 seconds) |
| 2025-07-17 08:41:46 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-17 08:44:05 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) |
| 2025-07-17 08:51:26 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 08:56:43 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 276 seconds) |
| 2025-07-17 08:59:36 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-17 09:00:04 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-17 09:00:42 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-17 09:07:36 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 09:07:47 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-17 09:13:04 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) (Ping timeout: 272 seconds) |
| 2025-07-17 09:15:26 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-17 09:20:07 +0200 | lfr` | (~user@2001:9e8:afe:a400:48ff:913e:5ab6:b761) |
| 2025-07-17 09:28:28 +0200 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-07-17 09:33:37 +0200 | cstml | (~Thunderbi@user/cstml) cstml |
| 2025-07-17 09:38:05 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Read error: Connection reset by peer) |
| 2025-07-17 09:38:17 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-07-17 09:39:23 +0200 | caubert | (~caubert@user/caubert) (Remote host closed the connection) |
| 2025-07-17 09:39:52 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-17 09:39:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) |
| 2025-07-17 09:40:21 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-07-17 09:40:53 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-07-17 09:41:13 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-17 09:43:05 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-17 09:44:32 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-17 09:48:32 +0200 | acidjnk | (~acidjnk@p200300d6e70b661810c0baac8c5eeb00.dip0.t-ipconnect.de) acidjnk |
| 2025-07-17 09:48:43 +0200 | jespada | (~jespada@2800:a4:2283:2700:4d56:5313:eb6:35c4) (Ping timeout: 276 seconds) |
| 2025-07-17 09:49:52 +0200 | jespada | (~jespada@2800:a4:223f:1a00:1833:e9a3:3f1f:2d7a) jespada |
| 2025-07-17 09:52:42 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 276 seconds) |
| 2025-07-17 09:54:44 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-07-17 09:54:57 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b960:68f4:f810:ede6:3c8e) (Ping timeout: 248 seconds) |
| 2025-07-17 09:58:15 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-17 10:00:07 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-17 10:02:46 +0200 | cstml | (~Thunderbi@user/cstml) (Ping timeout: 244 seconds) |
| 2025-07-17 10:03:31 +0200 | jcarpenter2 | (~lol@96.78.87.197) |
| 2025-07-17 10:06:24 +0200 | haskellman | (~haskellma@185.13.107.115) |
| 2025-07-17 10:07:04 +0200 | <haskellman> | Hello everyone, what is the best way to generate complex datastructures randomly s.t. I can compose them and whatever ? |
| 2025-07-17 10:07:19 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-17 10:08:47 +0200 | <tomsmeding> | https://hackage.haskell.org/package/hedgehog-1.5/docs/Hedgehog-Gen.html ; https://hackage-content.haskell.org/package/QuickCheck-2.16.0.0/docs/Test-QuickCheck.html |
| 2025-07-17 10:09:06 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-07-17 10:11:15 +0200 | JamesMowery1773 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-07-17 10:11:39 +0200 | JamesMowery177 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 252 seconds) |
| 2025-07-17 10:11:39 +0200 | JamesMowery1773 | JamesMowery177 |
| 2025-07-17 10:14:51 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-17 10:16:24 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-17 10:18:58 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2025-07-17 10:19:18 +0200 | puke | (~puke@user/puke) puke |
| 2025-07-17 10:19:34 +0200 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) (Ping timeout: 272 seconds) |
| 2025-07-17 10:22:56 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-17 10:31:21 +0200 | chele | (~chele@user/chele) chele |
| 2025-07-17 10:32:08 +0200 | haskellman | (~haskellma@185.13.107.115) (Quit: Client closed) |
| 2025-07-17 10:36:45 +0200 | mfc_kbs | (~keibisoft@mail.keibisoft.com) |
| 2025-07-17 10:37:33 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-07-17 10:38:20 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-17 10:49:20 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds) |
| 2025-07-17 10:49:58 +0200 | m1dnight | (~m1dnight@78-20-51-206.access.telenet.be) (Ping timeout: 272 seconds) |
| 2025-07-17 11:00:44 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-07-17 11:18:41 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-17 11:27:13 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-17 11:32:07 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-17 11:35:09 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-07-17 11:35:23 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-17 11:41:04 +0200 | Guest30 | (~Guest28@69.6.47.202) |
| 2025-07-17 11:43:11 +0200 | Guest30 | (~Guest28@69.6.47.202) (Client Quit) |
| 2025-07-17 11:49:57 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-17 11:52:56 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-07-17 11:53:59 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-17 12:01:05 +0200 | cstml | (~Thunderbi@user/cstml) cstml |
| 2025-07-17 12:01:23 +0200 | cstml | (~Thunderbi@user/cstml) (Read error: Connection reset by peer) |
| 2025-07-17 12:01:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) |
| 2025-07-17 12:01:41 +0200 | cstml | (~Thunderbi@user/cstml) cstml |
| 2025-07-17 12:05:48 +0200 | cstml | (~Thunderbi@user/cstml) (Ping timeout: 245 seconds) |
| 2025-07-17 12:05:57 +0200 | Guest82 | (~Guest82@2405:3800:898:469:d431:27ff:fec6:44e4) |
| 2025-07-17 12:13:13 +0200 | Guest82 | (~Guest82@2405:3800:898:469:d431:27ff:fec6:44e4) (Quit: Client closed) |
| 2025-07-17 12:16:51 +0200 | m1dnight | (~m1dnight@78-20-51-206.access.telenet.be) m1dnight |
| 2025-07-17 12:19:16 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-07-17 12:21:13 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-17 12:31:16 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-17 12:33:59 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-07-17 12:36:01 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-07-17 12:36:03 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-17 12:39:29 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-07-17 12:42:04 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 272 seconds) |
| 2025-07-17 12:44:03 +0200 | merijn | (~merijn@77.242.116.146) merijn |