Newest at the top
| 2025-05-25 01:01:08 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-05-25 01:01:05 +0200 | <euouae> | I think the solution is to decouple them all and turn them into derived Enum's |
| 2025-05-25 01:00:00 +0200 | notzmv | (~daniel@user/notzmv) notzmv |
| 2025-05-25 00:59:58 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Quit: tolgo) |
| 2025-05-25 00:58:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:57:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 00:55:33 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-25 00:53:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:52:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 00:52:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-25 00:49:53 +0200 | kadobanana | (~mud@user/kadoban) (Ping timeout: 248 seconds) |
| 2025-05-25 00:48:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:47:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 00:47:27 +0200 | <euouae> | It seems that I have to either decouple Animal from its classes, or duplicate with MenuAnimal or similar |
| 2025-05-25 00:47:04 +0200 | <euouae> | but I'm stuck: there's no way to have partial choices, so how could the user navigate a menu? E.g. Animal>Anthropod as a choice, before choosing 'Crab' from the list |
| 2025-05-25 00:46:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-25 00:46:29 +0200 | <euouae> | https://gist.github.com/createyourpersonalaccount/d69159f87fadd2cf2241349ee42d3eef |
| 2025-05-25 00:46:29 +0200 | <euouae> | I wrote this code to show how to make a menu |
| 2025-05-25 00:45:10 +0200 | <euouae> | tomsmeding: thank you |
| 2025-05-25 00:44:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:44:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-25 00:38:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:37:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-25 00:36:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-25 00:35:03 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-05-25 00:32:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:31:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 00:31:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-25 00:29:40 +0200 | tromp | (~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-25 00:28:32 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-25 00:26:30 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-25 00:25:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:25:49 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-25 00:25:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-25 00:23:11 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-25 00:19:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:19:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 00:19:17 +0200 | <tomsmeding> | how you do this precisely depends on the editor https://haskell-language-server.readthedocs.io/en/stable/configuration.html |
| 2025-05-25 00:19:02 +0200 | <tomsmeding> | euouae: you have to set the language server option 'haskell.plugin.hlint.globalOn' to false |
| 2025-05-25 00:17:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-25 00:16:56 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-25 00:14:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:14:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 00:12:35 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-25 00:12:26 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-25 00:12:05 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-25 00:11:53 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-25 00:09:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:09:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 00:07:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |