Newest at the top
| 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 |
| 2025-07-16 14:21:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-16 14:06:30 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-07-16 14:06:17 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-16 14:04:20 +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 13:52:37 +0200 | Everything | (~Everythin@5.248.237.239) Everything |
| 2025-07-16 13:52:27 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-16 13:52:09 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 276 seconds) |
| 2025-07-16 13:51:35 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-16 13:46:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-16 13:43:10 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-16 13:29:17 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) (Remote host closed the connection) |
| 2025-07-16 13:27:30 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-16 13:27:01 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |