Newest at the top
| 2025-11-06 16:34:37 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 16:33:39 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-06 16:32:43 +0100 | <dutchie> | MaybeT? |
| 2025-11-06 16:32:35 +0100 | <dutchie> | `x <- maybe mzero pure $ _` doesn't feel a whole lot better... ExceptT? |
| 2025-11-06 16:32:17 +0100 | <dutchie> | I got an exception instead of mzero |
| 2025-11-06 16:32:10 +0100 | <dutchie> | does that trigger failure if it doesn't match? I tried something in ghci but maybe I messed it up |
| 2025-11-06 16:31:05 +0100 | <__monty__> | dutchie: Maybe you just want `let x = _`? |
| 2025-11-06 16:29:41 +0100 | <dutchie> | I'm sure I'm missing something obvious |
| 2025-11-06 16:29:30 +0100 | <dutchie> | what's a better way of doing pattern matching in a MonadFail do block than `Just x <- pure $ _` |
| 2025-11-06 16:26:29 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-06 16:23:58 +0100 | trickard_ | trickard |
| 2025-11-06 16:18:23 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-06 16:16:54 +0100 | Googulator39 | Googulator |
| 2025-11-06 16:14:00 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-06 16:05:03 +0100 | matsurago | (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) (Quit: Leaving) |
| 2025-11-06 16:01:01 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 16:00:32 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-11-06 16:00:26 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 15:58:04 +0100 | deployonfriday | (~user@2a01:799:1859:c100:12f1:ac5b:828f:d5a6) (Ping timeout: 244 seconds) |
| 2025-11-06 15:54:47 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 15:50:35 +0100 | trickard_ | trickard |
| 2025-11-06 15:50:03 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-06 15:50:00 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 15:49:47 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 15:45:48 +0100 | Googulator39 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 15:45:45 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 15:40:39 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 15:40:35 +0100 | Googulator7 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 15:36:35 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 245 seconds) |
| 2025-11-06 15:34:44 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 15:34:30 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 15:28:43 +0100 | bggd | (~bgg@2a01:e0a:819:1510:264f:fa71:ccb5:98ac) |
| 2025-11-06 15:23:42 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2025-11-06 15:20:49 +0100 | Googulator7 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 15:20:40 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 15:19:44 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-06 15:18:09 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-06 15:17:54 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-06 15:15:47 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 15:15:39 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 15:14:44 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-06 15:09:51 +0100 | pr1sm | (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 2025-11-06 15:09:01 +0100 | pr1sm | (~pr1sm@24.91.163.31) |
| 2025-11-06 15:00:44 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 15:00:38 +0100 | Googulator81 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:55:39 +0100 | Googulator75 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:55:36 +0100 | Googulator81 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:52:24 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-06 14:50:13 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 14:48:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |