Newest at the top
| 2025-12-18 09:12:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-18 09:11:19 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-12-18 09:10:09 +0100 | trickard_ | trickard |
| 2025-12-18 09:09:59 +0100 | chele | (~chele@user/chele) chele |
| 2025-12-18 09:07:57 +0100 | <opqdonut> | but that's just a stylistic change |
| 2025-12-18 09:07:45 +0100 | <opqdonut> | I mean, 1-2 applications of the OneOf' pattern |
| 2025-12-18 09:07:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 09:07:17 +0100 | <opqdonut> | I probably would've written the union out as a datatype if there are only 1-2 cases |
| 2025-12-18 09:05:57 +0100 | <opqdonut> | yeah you take the union of the f-algebras and then fix, that's what I would've done |
| 2025-12-18 09:04:08 +0100 | milan2 | (~milan@88.212.61.169) |
| 2025-12-18 09:03:58 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-18 09:03:19 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-12-18 09:00:35 +0100 | <probie> | Is there a good way to union recursive types? My current approach is https://play.haskell.org/saved/DFZQfeiw but is there a better way to do this? |
| 2025-12-18 08:56:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-18 08:56:14 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 260 seconds) |
| 2025-12-18 08:51:47 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 08:51:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 08:47:10 +0100 | humasect_ | humasect |
| 2025-12-18 08:42:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-18 08:39:37 +0100 | annamalai | (~annamalai@157.32.125.111) annamalai |
| 2025-12-18 08:38:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 08:33:17 +0100 | werneta | (~werneta@71.83.160.242) (Remote host closed the connection) |
| 2025-12-18 08:30:01 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-12-18 08:29:58 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-18 08:29:44 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-18 08:28:09 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-18 08:27:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-18 08:22:53 +0100 | annamalai | (~annamalai@2409:4042:2319:cd57::21e0:60a5) (Ping timeout: 250 seconds) |
| 2025-12-18 08:22:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 08:20:16 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 244 seconds) |
| 2025-12-18 08:17:53 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-18 08:17:32 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-18 08:15:59 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 08:12:29 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 250 seconds) |
| 2025-12-18 08:11:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-18 08:08:32 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 265 seconds) |
| 2025-12-18 08:07:51 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 08:06:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 08:05:37 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 2025-12-18 08:00:35 +0100 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-12-18 07:55:46 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-18 07:55:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-18 07:50:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 07:46:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-18 07:45:27 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-18 07:41:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 07:40:53 +0100 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-12-18 07:37:19 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-18 07:36:09 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 265 seconds) |
| 2025-12-18 07:31:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |