| 2024-11-03 00:05:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 00:10:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-03 00:18:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 00:22:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 00:33:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 00:35:02 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2024-11-03 00:40:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 00:42:22 +0100 | alphabitserial | (~alphabits@user/alphabitserial) alphabitserial |
| 2024-11-03 00:44:27 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-11-03 00:49:02 +0100 | alphabitserial | (~alphabits@user/alphabitserial) (Remote host closed the connection) |
| 2024-11-03 00:49:29 +0100 | alphabitserial | (~alphabits@user/alphabitserial) alphabitserial |
| 2024-11-03 00:51:11 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 00:51:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 00:55:26 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-11-03 00:56:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 00:59:58 +0100 | acidjnk | (~acidjnk@p200300d6e7283f8250813e795b9be9ad.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-11-03 01:06:43 +0100 | pointlessslippe- | (~pointless@62.106.85.17) (Ping timeout: 264 seconds) |
| 2024-11-03 01:07:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 01:11:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 01:12:10 +0100 | TonyStone | (~TonyStone@user/TonyStone) (Remote host closed the connection) |
| 2024-11-03 01:12:30 +0100 | TonyStone | (~TonyStone@user/TonyStone) TonyStone |
| 2024-11-03 01:16:44 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-11-03 01:19:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 01:23:33 +0100 | sprotte24 | (~sprotte24@p200300d16f1da300c4b7e0625cb221a9.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-03 01:23:49 +0100 | rini | (~rini@user/rini) (Ping timeout: 248 seconds) |
| 2024-11-03 01:24:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 01:27:02 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-11-03 01:29:44 +0100 | rini | (~rini@user/rini) rini |
| 2024-11-03 01:33:29 +0100 | sprotte24 | (~sprotte24@p200300d16f1da300c4b7e0625cb221a9.dip0.t-ipconnect.de) |
| 2024-11-03 01:34:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 01:36:28 +0100 | sprotte24 | (~sprotte24@p200300d16f1da300c4b7e0625cb221a9.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-11-03 01:42:15 +0100 | alp | (~alp@2001:861:e3d6:8f80:3e67:102a:f6c8:49e7) (Remote host closed the connection) |
| 2024-11-03 01:42:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 01:42:33 +0100 | alp | (~alp@2001:861:e3d6:8f80:4216:fbc5:8f36:e0e6) |
| 2024-11-03 01:46:55 +0100 | alp | (~alp@2001:861:e3d6:8f80:4216:fbc5:8f36:e0e6) (Remote host closed the connection) |
| 2024-11-03 01:53:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 01:58:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 01:59:06 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 02:02:50 +0100 | hgolden__ | (~hgolden@204.152.216.122) hgolden |
| 2024-11-03 02:05:23 +0100 | hgolden_ | (~hgolden@static-198-44-129-115.cust.tzulo.com) (Ping timeout: 255 seconds) |
| 2024-11-03 02:07:17 +0100 | <Square> | I trying to find the documentation for GHC Wasm backend types, namely the module GHC.Wasm.Prim. Anyone know here I can find that? |
| 2024-11-03 02:08:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 02:09:21 +0100 | <geekosaur> | I would ask terrorjack |
| 2024-11-03 02:09:55 +0100 | <Square> | thanks |
| 2024-11-03 02:11:23 +0100 | <int-e> | https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/ghc-internal/src/GHC/Internal/Wasm/Prim… /may/ answer some questions |
| 2024-11-03 02:12:08 +0100 | <Square> | thanks |
| 2024-11-03 02:13:01 +0100 | <int-e> | (I don't know anything about the WASM backend, just poking around in the source, and this wouldn't turn up in haddocks or similar) |
| 2024-11-03 02:13:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-03 02:17:07 +0100 | alphabitserial | (~alphabits@user/alphabitserial) (Read error: Connection reset by peer) |
| 2024-11-03 02:17:13 +0100 | billchenchina | (~billchenc@113x43x213x198.ap113.ftth.arteria-hikari.net) billchenchina |
| 2024-11-03 02:19:22 +0100 | <int-e> | Ah, utils/jsffi/prelude.js is (a good chunk of) the JS side of that. |
| 2024-11-03 02:20:24 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds) |
| 2024-11-03 02:21:52 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-11-03 02:24:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 02:24:52 +0100 | <Square> | int-e, your link helped me find what i wanted. |
| 2024-11-03 02:25:11 +0100 | <int-e> | nice :) |
| 2024-11-03 02:30:34 +0100 | zzz | (~z@user/zero) (Ping timeout: 260 seconds) |
| 2024-11-03 02:30:50 +0100 | zero | (~z@user/zero) zero |
| 2024-11-03 02:31:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-03 02:38:49 +0100 | billchenchina- | (~billchenc@2a09:bac5:444a:dc::16:21e) billchenchina |
| 2024-11-03 02:41:28 +0100 | billchenchina | (~billchenc@113x43x213x198.ap113.ftth.arteria-hikari.net) (Ping timeout: 252 seconds) |
| 2024-11-03 02:42:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 02:46:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 02:49:52 +0100 | <sm> | there's also the #haskell-wasm matrix room |
| 2024-11-03 02:54:24 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-11-03 02:59:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 03:04:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-03 03:04:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 03:04:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-11-03 03:07:36 +0100 | zero | (~z@user/zero) (Ping timeout: 252 seconds) |
| 2024-11-03 03:07:40 +0100 | zzz | (~z@user/zero) zero |
| 2024-11-03 03:08:04 +0100 | zzz | zero |
| 2024-11-03 03:14:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 03:18:38 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-03 03:19:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 03:30:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 03:34:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 03:46:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 03:51:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 03:52:02 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-11-03 04:00:53 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-11-03 04:01:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 04:05:01 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-11-03 04:05:32 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2024-11-03 04:08:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 04:12:51 +0100 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2024-11-03 04:19:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 04:25:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 04:30:53 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 04:35:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 04:36:03 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-11-03 04:40:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 04:50:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 04:55:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 04:55:40 +0100 | td_ | (~td@i5387090B.versanet.de) (Ping timeout: 252 seconds) |
| 2024-11-03 04:57:29 +0100 | td_ | (~td@i5387092D.versanet.de) td_ |
| 2024-11-03 04:59:06 +0100 | madhavanmiui | (~madhavanm@2409:40f4:305e:c732:8000::) |
| 2024-11-03 05:00:09 +0100 | madhavanmiui | (~madhavanm@2409:40f4:305e:c732:8000::) (Client Quit) |
| 2024-11-03 05:02:54 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 05:06:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 05:09:14 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-11-03 05:10:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-03 05:21:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 05:26:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-03 05:26:34 +0100 | alphabitserial | (~alphabits@user/alphabitserial) alphabitserial |
| 2024-11-03 05:36:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 05:42:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 05:54:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 05:59:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 06:01:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 06:09:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 06:13:00 +0100 | Guest74 | (~textual@129.94.128.31) |
| 2024-11-03 06:14:49 +0100 | alphabitserial | (~alphabits@user/alphabitserial) (Quit: goodnight) |
| 2024-11-03 06:20:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 06:24:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 06:28:52 +0100 | Inst_ | (~Inst@user/Inst) Inst |
| 2024-11-03 06:31:39 +0100 | Inst | (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 2024-11-03 06:32:20 +0100 | Inst_ | Inst |
| 2024-11-03 06:35:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 06:40:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 06:51:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 06:54:45 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-03 06:55:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-03 07:03:56 +0100 | Guest19 | (~Guest19@64.189.201.112) |
| 2024-11-03 07:05:51 +0100 | Guest19 | (~Guest19@64.189.201.112) (Client Quit) |
| 2024-11-03 07:06:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 07:11:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 07:22:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 07:29:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 07:36:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-03 07:38:09 +0100 | zaquest | (~notzaques@5.130.79.72) zaquest |
| 2024-11-03 07:40:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 07:42:14 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 07:45:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 07:46:27 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-11-03 07:56:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 08:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-03 08:00:36 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-03 08:05:00 +0100 | LainExperiments | (~LainExper@2804:880:1312:2d00:980e:a6e9:388c:88a0) |
| 2024-11-03 08:06:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 08:17:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 08:22:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 08:35:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 08:40:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-03 08:46:28 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-03 08:47:48 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2024-11-03 08:47:49 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-11-03 08:49:43 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 08:51:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 08:51:23 +0100 | Axma67059 | (~Axman6@user/axman6) Axman6 |
| 2024-11-03 08:53:25 +0100 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2024-11-03 08:54:34 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-11-03 09:00:02 +0100 | tt1231097832435 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-03 09:00:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 09:00:08 +0100 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-03 09:03:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 09:03:42 +0100 | tt1231097832435 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2024-11-03 09:07:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 09:15:55 +0100 | Guest74 | (~textual@129.94.128.31) |
| 2024-11-03 09:18:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 09:22:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-03 09:23:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-03 09:26:51 +0100 | acidjnk | (~acidjnk@p200300d6e7283f251482dc7d2b491cb5.dip0.t-ipconnect.de) acidjnk |
| 2024-11-03 09:32:34 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2024-11-03 09:33:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 09:38:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 09:45:05 +0100 | billchenchina- | (~billchenc@2a09:bac5:444a:dc::16:21e) (Remote host closed the connection) |
| 2024-11-03 09:49:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 09:53:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 09:55:31 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 10:00:12 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-11-03 10:04:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 10:11:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 10:16:13 +0100 | CiaoSen | (~Jura@2a05:5800:48c:e200:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-11-03 10:22:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 10:23:06 +0100 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2024-11-03 10:24:51 +0100 | raym | (~ray@user/raym) raym |
| 2024-11-03 10:25:03 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-03 10:26:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 10:27:34 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-03 10:30:32 +0100 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-03 10:35:21 +0100 | hgolden_ | (~hgolden@static-198-44-129-83.cust.tzulo.com) hgolden |
| 2024-11-03 10:37:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 10:37:46 +0100 | hgolden__ | (~hgolden@204.152.216.122) (Ping timeout: 252 seconds) |
| 2024-11-03 10:37:53 +0100 | hgolden | (~hgolden@23.162.40.69) hgolden |
| 2024-11-03 10:39:33 +0100 | hgolden_ | (~hgolden@static-198-44-129-83.cust.tzulo.com) (Ping timeout: 245 seconds) |
| 2024-11-03 10:44:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-03 10:49:43 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-03 10:50:38 +0100 | Guest74 | (~textual@129.94.128.31) |
| 2024-11-03 10:50:38 +0100 | Guest74 | (~textual@129.94.128.31) (Client Quit) |
| 2024-11-03 10:51:00 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-03 10:51:12 +0100 | Guest74 | (~textual@129.94.128.31) |
| 2024-11-03 10:55:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 10:58:39 +0100 | CiaoSen | (~Jura@2a05:5800:48c:e200:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-11-03 10:59:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 11:06:30 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-03 11:09:18 +0100 | son0p | (~ff@181.237.206.243) son0p |
| 2024-11-03 11:20:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 11:22:41 +0100 | sprotte24 | (~sprotte24@p200300d16f282a00c16d448cb4b8f2b8.dip0.t-ipconnect.de) |
| 2024-11-03 11:22:47 +0100 | zfnmxt | (~zfnmxt@user/zfnmxt) (Remote host closed the connection) |
| 2024-11-03 11:25:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 11:25:54 +0100 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
| 2024-11-03 11:26:09 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-11-03 11:29:28 +0100 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-03 11:31:30 +0100 | Guest74 | (~textual@129.94.128.31) |
| 2024-11-03 11:33:28 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-03 11:36:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 11:38:03 +0100 | preflex | (~preflex@user/mauke/bot/preflex) (Remote host closed the connection) |
| 2024-11-03 11:40:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 11:51:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 11:51:44 +0100 | <juri_> | yaay. writing haskell for the first time in a year. |
| 2024-11-03 11:53:22 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 11:57:41 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-11-03 11:58:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 12:06:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 12:11:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 12:15:51 +0100 | n0den1te | (~aaaa@2402:3a80:4242:f78b:ea21:c8:204:f5b1) n0den1te |
| 2024-11-03 12:19:13 +0100 | LainExperiments | (~LainExper@2804:880:1312:2d00:980e:a6e9:388c:88a0) (Changing host) |
| 2024-11-03 12:19:13 +0100 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2024-11-03 12:21:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 12:26:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 12:31:09 +0100 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2024-11-03 12:35:15 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 12:37:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 12:39:36 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-11-03 12:41:07 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-03 12:42:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 12:53:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 12:54:49 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-03 12:55:38 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-11-03 12:57:20 +0100 | euleritian | (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-03 12:57:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 12:57:42 +0100 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) |
| 2024-11-03 12:58:50 +0100 | rvalue- | rvalue |
| 2024-11-03 13:01:52 +0100 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) (Read error: Connection reset by peer) |
| 2024-11-03 13:01:56 +0100 | leah2 | (~leah@vuxu.org) (Ping timeout: 255 seconds) |
| 2024-11-03 13:02:34 +0100 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) |
| 2024-11-03 13:02:53 +0100 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-11-03 13:06:08 +0100 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) (Read error: Connection reset by peer) |
| 2024-11-03 13:06:21 +0100 | euleritian | (~euleritia@176.2.147.80) |
| 2024-11-03 13:07:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 13:07:39 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 13:08:43 +0100 | euleritian | (~euleritia@176.2.147.80) (Read error: Connection reset by peer) |
| 2024-11-03 13:09:03 +0100 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) |
| 2024-11-03 13:09:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-03 13:10:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-11-03 13:11:59 +0100 | Guest15 | (~Guest15@ten.nat.whka.de) |
| 2024-11-03 13:12:39 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-11-03 13:13:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-03 13:14:16 +0100 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) (Read error: Connection reset by peer) |
| 2024-11-03 13:15:56 +0100 | Guest15 | (~Guest15@ten.nat.whka.de) (Client Quit) |
| 2024-11-03 13:18:00 +0100 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) |
| 2024-11-03 13:22:03 +0100 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) (Ping timeout: 245 seconds) |
| 2024-11-03 13:23:37 +0100 | n0den1te | (~aaaa@2402:3a80:4242:f78b:ea21:c8:204:f5b1) (Quit: Quitting...) |
| 2024-11-03 13:25:50 +0100 | euleritian | (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) |
| 2024-11-03 13:29:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 13:34:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 13:46:57 +0100 | Leneleni | (~Leneleni@189.45.112.167) |
| 2024-11-03 13:47:21 +0100 | Leneleni | (~Leneleni@189.45.112.167) (Write error: Broken pipe) |
| 2024-11-03 13:48:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 13:50:01 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-11-03 13:55:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-03 13:58:03 +0100 | Square | (~Square@user/square) Square |
| 2024-11-03 13:59:15 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 13:59:33 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 2024-11-03 14:03:54 +0100 | euleritian | (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-03 14:04:23 +0100 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) |
| 2024-11-03 14:04:25 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-03 14:06:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 14:10:54 +0100 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) (Ping timeout: 252 seconds) |
| 2024-11-03 14:11:10 +0100 | euleritian | (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) |
| 2024-11-03 14:12:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 14:18:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 14:18:20 +0100 | euleritian | (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-11-03 14:22:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 14:24:44 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-11-03 14:28:13 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 14:33:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 14:35:05 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-11-03 14:38:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 14:39:19 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-11-03 14:45:19 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-11-03 14:46:53 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-03 14:47:02 +0100 | Everything | (~Everythin@178-133-29-33.mobile.vf-ua.net) Everything |
| 2024-11-03 14:49:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 14:52:34 +0100 | leah2 | (~leah@vuxu.org) (Ping timeout: 260 seconds) |
| 2024-11-03 14:53:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-03 14:53:42 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2024-11-03 15:00:27 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2024-11-03 15:04:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 15:05:05 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-03 15:13:10 +0100 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-03 15:13:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-03 15:14:19 +0100 | euleritian | (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) |
| 2024-11-03 15:17:47 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-03 15:23:29 +0100 | Guest74 | (~textual@129.94.128.31) |
| 2024-11-03 15:28:17 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2024-11-03 15:29:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 15:35:29 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 15:35:49 +0100 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-11-03 15:37:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 15:39:45 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-03 15:47:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 15:52:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-03 16:00:22 +0100 | n0den1te | (~n0den1te@1.38.99.107) n0den1te |
| 2024-11-03 16:03:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 16:07:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 16:10:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 16:11:08 +0100 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-03 16:15:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 16:17:35 +0100 | <juri_> | la la la, writing an ai in haskell.. la la la... |
| 2024-11-03 16:19:44 +0100 | n0den1te | (~n0den1te@1.38.99.107) (Quit: leaving) |
| 2024-11-03 16:24:12 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-03 16:25:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 16:30:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-03 16:34:08 +0100 | euleritian | (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-11-03 16:41:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 16:50:06 +0100 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 276 seconds) |
| 2024-11-03 16:52:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 16:55:11 +0100 | sprotte24 | (~sprotte24@p200300d16f282a00c16d448cb4b8f2b8.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-11-03 16:55:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-03 16:59:58 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:68dd:fce:5f86:d51a) nschoe |
| 2024-11-03 17:03:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 17:05:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-03 17:10:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 17:18:24 +0100 | mantraofpie | (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
| 2024-11-03 17:20:42 +0100 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
| 2024-11-03 17:21:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 17:23:22 +0100 | euleritian | (~euleritia@dynamic-176-006-132-010.176.6.pool.telefonica.de) |
| 2024-11-03 17:25:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 17:30:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-03 17:36:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 17:38:15 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
| 2024-11-03 17:39:38 +0100 | stef204 | (~stef204@user/stef204) stef204 |
| 2024-11-03 17:41:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 17:44:41 +0100 | sprotte24 | (~sprotte24@p200300d16f282a00c16d448cb4b8f2b8.dip0.t-ipconnect.de) |
| 2024-11-03 17:45:15 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-03 17:52:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 17:53:38 +0100 | Everything | (~Everythin@178-133-29-33.mobile.vf-ua.net) (Ping timeout: 248 seconds) |
| 2024-11-03 17:55:12 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-11-03 17:55:30 +0100 | Everything | (~Everythin@46.211.221.97) Everything |
| 2024-11-03 17:55:41 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 2024-11-03 17:57:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 18:02:08 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-03 18:07:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 18:12:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 18:18:04 +0100 | constxd | (~constxd@user/constxd) (Ping timeout: 260 seconds) |
| 2024-11-03 18:23:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 18:28:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 18:28:42 +0100 | constxd | (~constxd@user/constxd) constxd |
| 2024-11-03 18:38:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 18:41:30 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-11-03 18:45:04 +0100 | euleritian | (~euleritia@dynamic-176-006-132-010.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-11-03 18:45:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 18:46:10 +0100 | euleritian | (~euleritia@dynamic-176-006-137-196.176.6.pool.telefonica.de) |
| 2024-11-03 18:46:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 18:48:18 +0100 | hgolden_ | (~hgolden@23.162.40.28) hgolden |
| 2024-11-03 18:48:26 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-11-03 18:50:40 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-11-03 18:50:41 +0100 | hgolden | (~hgolden@23.162.40.69) (Ping timeout: 255 seconds) |
| 2024-11-03 18:51:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-03 18:58:13 +0100 | euleritian | (~euleritia@dynamic-176-006-137-196.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-03 18:58:31 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-03 19:02:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 19:06:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-03 19:08:34 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-03 19:12:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-03 19:15:46 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-03 19:17:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 19:20:12 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-03 19:22:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 19:24:13 +0100 | <haskellbridge> | <Bowuigi> Not strictly about Haskell but since type theorists are hard to find gotta ask here: In my lang I have three constraints on row types: "lacks label" (r\l, read "row r lacks label l"), "row equals" (r ~ r', like type equality, delayed unification) and "subrow" (r < r', where r' has every field of r). Subrow is only used for "default" (setting default values for some fields), is there any way to get rid of it?... |
| 2024-11-03 19:24:18 +0100 | <haskellbridge> | ... Default has type "r < r' => Rec r -> Rec r' -> Rec r'", I only need it for compile time known r's |
| 2024-11-03 19:25:28 +0100 | <haskellbridge> | <Bowuigi> (Compile time known r', like, the one that has the default values) |
| 2024-11-03 19:26:34 +0100 | <haskellbridge> | <Bowuigi> I can't use record concatenation either as it doesn't have a simple translation to evidence. Row restriction over single labels is allowed |
| 2024-11-03 19:27:51 +0100 | <haskellbridge> | <Bowuigi> I also have a lift/row map type level operator with corresponding record/variant maps, and a foldMap operation over records too. Is it possible to get rid of the subrow constraint? |
| 2024-11-03 19:32:26 +0100 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
| 2024-11-03 19:32:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 19:34:00 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-11-03 19:34:38 +0100 | Digit | (~user@user/digit) (Ping timeout: 272 seconds) |
| 2024-11-03 19:37:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 19:40:22 +0100 | Digitteknohippie | Digit |
| 2024-11-03 19:47:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 19:52:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 19:53:34 +0100 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) (Ping timeout: 260 seconds) |
| 2024-11-03 20:02:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-03 20:03:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 20:04:09 +0100 | alp | (~alp@2001:861:e3d6:8f80:dca:285c:1799:872d) |
| 2024-11-03 20:07:41 +0100 | dcoutts | (~duncan@185.201.60.211) dcoutts |
| 2024-11-03 20:08:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 20:13:28 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-03 20:18:09 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-03 20:18:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 20:25:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 20:29:20 +0100 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2024-11-03 20:36:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 20:41:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 20:42:17 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 2024-11-03 20:47:37 +0100 | sroso | (~sroso@user/SrOso) SrOso |
| 2024-11-03 20:48:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 20:50:27 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-03 20:53:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-03 20:53:08 +0100 | remedan_ | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-03 21:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-03 21:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-03 21:02:30 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-03 21:03:17 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-03 21:04:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 21:04:30 +0100 | dcoutts | (~duncan@185.201.60.211) (Remote host closed the connection) |
| 2024-11-03 21:06:00 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-03 21:08:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 21:16:16 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2024-11-03 21:19:04 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-11-03 21:19:06 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-03 21:19:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 21:22:09 +0100 | dcoutts | (~duncan@212.187.244.50) dcoutts |
| 2024-11-03 21:22:49 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-03 21:24:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 21:25:53 +0100 | <lxsameer> | hey folks, is there any way to include the idirect test dependencies of my project in the freeze file? (for example I use lib A that uses tasty for its tests but it is missing from my freeze file) |
| 2024-11-03 21:27:01 +0100 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 2024-11-03 21:28:35 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-03 21:35:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 21:36:57 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-11-03 21:37:24 +0100 | CiaoSen | (~Jura@2a05:5800:48c:e200:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-11-03 21:37:52 +0100 | euleritian | (~euleritia@dynamic-176-006-143-185.176.6.pool.telefonica.de) |
| 2024-11-03 21:39:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-03 21:48:23 +0100 | TonyStone | (~TonyStone@user/TonyStone) (Remote host closed the connection) |
| 2024-11-03 21:49:08 +0100 | dcoutts | (~duncan@212.187.244.50) (Ping timeout: 252 seconds) |
| 2024-11-03 21:49:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 21:50:26 +0100 | TonyStone | (~TonyStone@user/TonyStone) TonyStone |
| 2024-11-03 21:56:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-03 22:07:11 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2024-11-03 22:07:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 22:10:54 +0100 | dcoutts | (~duncan@109.238.68.62) |
| 2024-11-03 22:11:52 +0100 | Everything | (~Everythin@46.211.221.97) (Ping timeout: 252 seconds) |
| 2024-11-03 22:12:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-03 22:12:25 +0100 | Everything | (~Everythin@178-133-29-33.mobile.vf-ua.net) Everything |
| 2024-11-03 22:20:37 +0100 | euleritian | (~euleritia@dynamic-176-006-143-185.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-03 22:20:47 +0100 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2024-11-03 22:20:57 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-03 22:21:44 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Write error: Broken pipe) |
| 2024-11-03 22:23:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 22:27:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 22:39:36 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-11-03 22:43:28 +0100 | sprotte24 | (~sprotte24@p200300d16f282a00c16d448cb4b8f2b8.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-03 22:46:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 22:50:21 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-11-03 22:55:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 22:56:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-03 22:59:58 +0100 | sprotte24 | (~sprotte24@p200300d16f282a00c16d448cb4b8f2b8.dip0.t-ipconnect.de) |
| 2024-11-03 23:03:09 +0100 | CiaoSen | (~Jura@2a05:5800:48c:e200:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-11-03 23:07:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 23:12:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 23:15:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-11-03 23:23:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 23:23:18 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-03 23:27:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-03 23:29:11 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-11-03 23:35:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-03 23:38:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 23:42:21 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-11-03 23:44:09 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-03 23:44:13 +0100 | Axma67059 | Axman6 |
| 2024-11-03 23:44:48 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-11-03 23:46:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 23:50:00 +0100 | dcoutts | (~duncan@109.238.68.62) (Read error: Connection reset by peer) |
| 2024-11-03 23:50:22 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-03 23:51:28 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-11-03 23:51:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 23:56:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |