Newest at the top
2025-07-16 16:39:24 +0200 | fp | (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 260 seconds) |
2025-07-16 16:29:54 +0200 | <Leary> | `null >>> \case`? |
2025-07-16 16:29:50 +0200 | <EvanR> | err |
2025-07-16 16:29:30 +0200 | <EvanR> | null & \case ... |
2025-07-16 16:27:21 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-16 16:27:00 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-16 16:17:37 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-07-16 16:17:05 +0200 | ubert | (~Thunderbi@178.115.53.153.wireless.dyn.drei.com) ubert |
2025-07-16 16:15:09 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
2025-07-16 16:13:41 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-07-16 16:13:06 +0200 | AlexZenon | (~alzenon@178.34.150.30) |
2025-07-16 15:58:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-16 15:57:53 +0200 | notzmv | (~umar@user/notzmv) notzmv |
2025-07-16 15:53:28 +0200 | mauke | (~mauke@user/mauke) mauke |
2025-07-16 15:52:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) |
2025-07-16 15:46:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-07-16 15:46:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-07-16 15:46:15 +0200 | mange | (~mange@user/mange) (Remote host closed the connection) |
2025-07-16 15:41:59 +0200 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
2025-07-16 15:40:14 +0200 | preflex | (~preflex@user/mauke/bot/preflex) (Remote host closed the connection) |
2025-07-16 15:40:14 +0200 | mauke | (~mauke@user/mauke) (Remote host closed the connection) |
2025-07-16 15:39:23 +0200 | noctux | (~noctux@user/noctux) noctux |
2025-07-16 15:37:33 +0200 | <probie> | if you want the `null` on the same line as `\case`, you could even do `(. null) $ \case` |
2025-07-16 15:37:00 +0200 | noctux | (~noctux@user/noctux) (Remote host closed the connection) |
2025-07-16 15:25:26 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 268 seconds) |
2025-07-16 15:23:34 +0200 | <absence> | mauke: Oh wow, that looks a bit controversial. Thanks though! |
2025-07-16 15:17:06 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-07-16 15:14:07 +0200 | tromp | (~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) |
2025-07-16 15:12:36 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-07-16 15:10:34 +0200 | trickard_ | trickard |
2025-07-16 15:09:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-07-16 15:09:03 +0200 | <mauke> | https://play.haskell.org/saved/bdSjmYP3 |
2025-07-16 15:07:38 +0200 | <absence> | Is there a way to supply the cases in this contrived example, or is it just a syntax edge case that lets it compile at all? https://play.haskell.org/saved/FgfNLLWB |
2025-07-16 15:06:35 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-16 15:05:32 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-16 15:05:29 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
2025-07-16 15:02:53 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
2025-07-16 14:52:31 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-16 14:51:31 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-16 14:48:54 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
2025-07-16 14:48:41 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-16 14:46:17 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-16 14:44:25 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Quit: The Lounge - https://thelounge.chat) |
2025-07-16 14:34:01 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-07-16 14:31:12 +0200 | AlexNoo | (~AlexNoo@178.34.150.30) (Quit: Leaving) |
2025-07-16 14:28:52 +0200 | AlexZenon | (~alzenon@178.34.150.30) (Quit: ;-) |
2025-07-16 14:26:30 +0200 | ludat | (~ludat@2800:810:443:12c8:adbf:f34f:326a:c9d4) (Quit: Client closed) |
2025-07-16 14:26:17 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Client Quit) |
2025-07-16 14:24:12 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-07-16 14:23:23 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |