| 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) |