Newest at the top
| 2025-08-14 16:15:25 +0200 | <yin> | checking exhaustive case handling in pattern matches |
| 2025-08-14 16:13:32 +0200 | <ncf> | yin: what do you mean by exhaustiveness? |
| 2025-08-14 16:13:11 +0200 | <yin> | is exhaustiveness in haskell decideable? |
| 2025-08-14 16:09:04 +0200 | yangby | (~secret@115.205.231.82) (Ping timeout: 260 seconds) |
| 2025-08-14 16:05:34 +0200 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 15:53:14 +0200 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 272 seconds) |
| 2025-08-14 15:52:38 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-14 15:47:38 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 15:44:41 +0200 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 15:35:19 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-08-14 15:30:51 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 15:30:29 +0200 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 248 seconds) |
| 2025-08-14 15:27:53 +0200 | qqe | (~qqq@185.54.20.59) |
| 2025-08-14 15:27:33 +0200 | qqe | (~qqq@185.54.20.59) (Server closed connection) |
| 2025-08-14 15:22:58 +0200 | Square2 | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2025-08-14 15:22:12 +0200 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 15:19:40 +0200 | Square | (~Square4@user/square) Square |
| 2025-08-14 15:17:59 +0200 | yo | (~yo@178.42.38.149.ipv4.supernova.orange.pl) (Quit: Leaving.) |
| 2025-08-14 15:17:56 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 15:14:00 +0200 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 252 seconds) |
| 2025-08-14 15:12:19 +0200 | raym | (~ray@user/raym) (Ping timeout: 260 seconds) |
| 2025-08-14 15:08:30 +0200 | ruvam | (~ruvam@user/ruvam) ruvam |
| 2025-08-14 15:08:15 +0200 | ruvam | (~ruvam@user/ruvam) (Server closed connection) |
| 2025-08-14 15:04:35 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 15:04:22 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 14:50:42 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 14:50:27 +0200 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 14:46:06 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2025-08-14 14:45:44 +0200 | troydm | (~troydm@user/troydm) (Server closed connection) |
| 2025-08-14 14:44:35 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 14:42:10 +0200 | Square2 | (~Square@user/square) Square |
| 2025-08-14 14:32:31 +0200 | fp | (~Thunderbi@2001:708:150:10::72df) fp |
| 2025-08-14 14:32:04 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-14 14:29:15 +0200 | trickard_ | trickard |
| 2025-08-14 14:23:55 +0200 | Miroboru | (~myrvoll@46.249.255.58) Miroboru |
| 2025-08-14 14:22:15 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-08-14 14:21:29 +0200 | fp | (~Thunderbi@2001:708:150:10::72df) (Remote host closed the connection) |
| 2025-08-14 14:20:26 +0200 | lisq | (~quassel@lis.moe) lisq |
| 2025-08-14 14:20:17 +0200 | lisq | (~quassel@lis.moe) (Server closed connection) |
| 2025-08-14 14:18:33 +0200 | fp | (~Thunderbi@2001:708:150:10::72df) fp |
| 2025-08-14 14:11:42 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 14:10:27 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-08-14 14:07:23 +0200 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Quit: fp) |
| 2025-08-14 14:06:00 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 14:00:52 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 14:00:38 +0200 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 13:57:47 +0200 | trickard_ | trickard |
| 2025-08-14 13:54:44 +0200 | dhil | (~dhil@5.151.29.141) dhil |
| 2025-08-14 13:41:53 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-08-14 13:33:36 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |