Newest at the top
| 2025-03-16 16:01:11 +0100 | <Inst> | maybe the correct solution is sum types instead |
| 2025-03-16 16:00:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 16:00:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 15:59:09 +0100 | <Inst> | actually maybe type families might be better here |
| 2025-03-16 15:58:34 +0100 | <Inst> | what's the track record for data Foo a type extensible objects in terms of performance? |
| 2025-03-16 15:58:12 +0100 | Inst | (~Inst@user/Inst) Inst |
| 2025-03-16 15:57:26 +0100 | yu | (~yu@dmc516.resnet.ust.hk) (Client Quit) |
| 2025-03-16 15:57:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 15:57:01 +0100 | yu | (~yu@dmc516.resnet.ust.hk) |
| 2025-03-16 15:52:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 15:51:03 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-16 15:50:35 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-03-16 15:45:19 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) |
| 2025-03-16 15:45:10 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-16 15:42:45 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2025-03-16 15:42:30 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-03-16 15:42:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 15:40:51 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-16 15:36:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 15:32:17 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-16 15:31:59 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-16 15:31:38 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) |
| 2025-03-16 15:31:21 +0100 | euleritian | (~euleritia@95.90.214.149) (Ping timeout: 252 seconds) |
| 2025-03-16 15:30:54 +0100 | alexherbo2 | (~alexherbo@2a02-8440-360c-a724-bc10-9663-354c-c52a.rev.sfr.net) alexherbo2 |
| 2025-03-16 15:30:41 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2025-03-16 15:26:52 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-03-16 15:25:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-16 15:22:29 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-03-16 15:21:13 +0100 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2025-03-16 15:21:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 15:20:18 +0100 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-03-16 15:18:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-16 15:13:38 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 15:10:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-16 15:06:38 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-03-16 15:05:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 15:04:41 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-16 15:04:36 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 2025-03-16 15:04:24 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-16 14:57:18 +0100 | krei-se | (~krei-se@tmo-102-19.customers.d1-online.com) krei-se |
| 2025-03-16 14:57:07 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-03-16 14:56:14 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-16 14:54:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 14:52:53 +0100 | krei-se- | (~krei-se@tmo-064-126.customers.d1-online.com) (Ping timeout: 248 seconds) |
| 2025-03-16 14:50:18 +0100 | krei-se | (~krei-se@tmo-125-86.customers.d1-online.com) (Ping timeout: 252 seconds) |
| 2025-03-16 14:49:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 14:47:14 +0100 | krei-se- | (~krei-se@tmo-064-126.customers.d1-online.com) krei-se |
| 2025-03-16 14:46:45 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-03-16 14:46:13 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-03-16 14:44:27 +0100 | krei-se | (~krei-se@tmo-125-86.customers.d1-online.com) krei-se |