Newest at the top
| 2025-11-25 16:25:52 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 2025-11-25 16:24:56 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-25 16:23:36 +0100 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-11-25 16:19:49 +0100 | <dutchie> | nudge a square on a grid, so Maybe Neighbour |
| 2025-11-25 16:19:02 +0100 | trickard_ | trickard |
| 2025-11-25 16:18:51 +0100 | <merijn> | dutchie: What are you using maybeToEnum for? |
| 2025-11-25 16:18:25 +0100 | <dutchie> | at least these are my own Enum instances (faking a bounded Int class) and so I know they are dense |
| 2025-11-25 16:17:52 +0100 | <lambdabot> | concatMap (\ a -> case a of { Just x -> [x]; _ -> []}) xs |
| 2025-11-25 16:17:52 +0100 | <alex`> | @undo [x | Just x <- xs] |
| 2025-11-25 16:17:39 +0100 | alex` | (~user@251.red-83-33-249.dynamicip.rima-tde.net) |
| 2025-11-25 16:15:04 +0100 | <merijn> | Enum is an awful, awful class and it should feel bad |
| 2025-11-25 16:14:56 +0100 | <merijn> | Like I said |
| 2025-11-25 16:14:41 +0100 | <dutchie> | ah true, even worse |
| 2025-11-25 16:14:15 +0100 | <merijn> | dutchie: Incidentally, that may *still* fail, if the enum instance isn't dense |
| 2025-11-25 16:13:28 +0100 | <haskellbridge> | <Zemyla> In addition to the standard parens function, there should be a parens', which is guaranteed to parse all parentheses. |
| 2025-11-25 16:13:23 +0100 | <merijn> | Enum is an awful awful class and it should feel bad >.> |
| 2025-11-25 16:12:51 +0100 | <dutchie> | https://paste.tomsmeding.com/MLNFAoXl this feels dumb |
| 2025-11-25 16:05:51 +0100 | td_ | (~td@i5387092E.versanet.de) |
| 2025-11-25 16:05:14 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-11-25 16:04:52 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Client Quit) |
| 2025-11-25 16:01:34 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-25 16:00:40 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-11-25 15:58:17 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) () |
| 2025-11-25 15:55:23 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-11-25 15:55:15 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-11-25 15:49:18 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 252 seconds) |
| 2025-11-25 15:46:32 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-25 15:45:50 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-25 15:45:45 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-25 15:43:29 +0100 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-11-25 15:43:14 +0100 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-25 15:42:04 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
| 2025-11-25 15:38:51 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-11-25 15:33:09 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-25 15:30:55 +0100 | hseg_ | (~hseg_@46.120.21.70) hseg |
| 2025-11-25 15:30:36 +0100 | hseg_ | (~hseg_@2.54.168.125) (Read error: Connection reset by peer) |
| 2025-11-25 15:15:48 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-25 15:15:46 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-25 15:11:45 +0100 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-11-25 15:11:32 +0100 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-25 15:09:22 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-11-25 15:08:55 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) () |
| 2025-11-25 15:01:20 +0100 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-11-25 15:00:24 +0100 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-25 14:57:33 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-11-25 14:54:53 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-25 14:51:05 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-25 14:50:24 +0100 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-11-25 14:50:11 +0100 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-25 14:45:44 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |