Newest at the top
| 2025-05-25 02:32:25 +0200 | <euouae> | yeah it makes sense |
| 2025-05-25 02:30:35 +0200 | <EvanR> | having different types at different positions is asking for trouble |
| 2025-05-25 02:30:13 +0200 | <EvanR> | in the simplest menu or dag, your elements you pick from are of 1 type |
| 2025-05-25 02:29:44 +0200 | <euouae> | the menu is a DAG, I'm modeling it with some types. I'm wondering what the right approach is (perhaps... I should use Data.Graph?) |
| 2025-05-25 02:29:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-25 02:29:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 02:29:10 +0200 | <euouae> | This is an example application |
| 2025-05-25 02:29:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 02:28:42 +0200 | <EvanR> | you're trying to select what from a menu ultimately |
| 2025-05-25 02:27:54 +0200 | <EvanR> | deleting the subject matter makes it hard to understand the issue |
| 2025-05-25 02:27:43 +0200 | <euouae> | What? |
| 2025-05-25 02:27:38 +0200 | <EvanR> | jeez... |
| 2025-05-25 02:27:32 +0200 | <euouae> | and a menu selection Foo: 1) Bar 2) Baz and then afterwards expands to Bar: 1) Bar1 2) Bar2 and so on |
| 2025-05-25 02:27:04 +0200 | <euouae> | EvanR: I deleted it. Imagine `data Foo = Bar Bars | Baz Bazs` and `data Bars = Bar1 | Bar2` and `data Bazs = Baz1 | Baz2 | Baz3` |
| 2025-05-25 02:23:53 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-05-25 02:23:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-25 02:23:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 02:23:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-25 02:20:58 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Remote host closed the connection) |
| 2025-05-25 02:17:01 +0200 | sprotte24 | (~sprotte24@p200300d16f200d007d4433339bb724df.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-25 02:16:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 02:16:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 02:15:32 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-05-25 02:14:07 +0200 | <EvanR> | euouae, I couldn't open your gist link |
| 2025-05-25 02:13:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-25 02:10:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 02:10:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 02:08:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-25 02:05:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 02:04:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-25 02:04:34 +0200 | jespada_ | (~jespada@r190-135-76-187.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds) |
| 2025-05-25 02:01:57 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f20e9033a69b5091294.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-25 01:58:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 01:58:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 01:57:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-25 01:52:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 01:52:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 01:52:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-25 01:46:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 01:46:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 01:41:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 01:41:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 01:41:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-25 01:40:47 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2025-05-25 01:36:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-25 01:34:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 01:33:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 01:28:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 01:27:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 01:24:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |