| 2024-11-03 00:06:43 +0000 | pointlessslippe- | (~pointless@62.106.85.17) (Ping timeout: 264 seconds) |
| 2024-11-03 00:07:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 00:11:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 00:12:10 +0000 | TonyStone | (~TonyStone@user/TonyStone) (Remote host closed the connection) |
| 2024-11-03 00:12:30 +0000 | TonyStone | (~TonyStone@user/TonyStone) TonyStone |
| 2024-11-03 00:16:44 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-11-03 00:19:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 00:23:33 +0000 | sprotte24 | (~sprotte24@p200300d16f1da300c4b7e0625cb221a9.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-03 00:23:49 +0000 | rini | (~rini@user/rini) (Ping timeout: 248 seconds) |
| 2024-11-03 00:24:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 00:27:02 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-11-03 00:29:44 +0000 | rini | (~rini@user/rini) rini |
| 2024-11-03 00:33:29 +0000 | sprotte24 | (~sprotte24@p200300d16f1da300c4b7e0625cb221a9.dip0.t-ipconnect.de) |
| 2024-11-03 00:34:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 00:36:28 +0000 | sprotte24 | (~sprotte24@p200300d16f1da300c4b7e0625cb221a9.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-11-03 00:42:15 +0000 | alp | (~alp@2001:861:e3d6:8f80:3e67:102a:f6c8:49e7) (Remote host closed the connection) |
| 2024-11-03 00:42:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 00:42:33 +0000 | alp | (~alp@2001:861:e3d6:8f80:4216:fbc5:8f36:e0e6) |
| 2024-11-03 00:46:55 +0000 | alp | (~alp@2001:861:e3d6:8f80:4216:fbc5:8f36:e0e6) (Remote host closed the connection) |
| 2024-11-03 00:53:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 00:58:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 00:59:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 01:02:50 +0000 | hgolden__ | (~hgolden@204.152.216.122) hgolden |
| 2024-11-03 01:05:23 +0000 | hgolden_ | (~hgolden@static-198-44-129-115.cust.tzulo.com) (Ping timeout: 255 seconds) |
| 2024-11-03 01:07:17 +0000 | <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 01:08:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 01:09:21 +0000 | <geekosaur> | I would ask terrorjack |
| 2024-11-03 01:09:55 +0000 | <Square> | thanks |
| 2024-11-03 01:11:23 +0000 | <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 01:12:08 +0000 | <Square> | thanks |
| 2024-11-03 01:13:01 +0000 | <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 01:13:23 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-03 01:17:07 +0000 | alphabitserial | (~alphabits@user/alphabitserial) (Read error: Connection reset by peer) |
| 2024-11-03 01:17:13 +0000 | billchenchina | (~billchenc@113x43x213x198.ap113.ftth.arteria-hikari.net) billchenchina |
| 2024-11-03 01:19:22 +0000 | <int-e> | Ah, utils/jsffi/prelude.js is (a good chunk of) the JS side of that. |
| 2024-11-03 01:20:24 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds) |
| 2024-11-03 01:21:52 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-11-03 01:24:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 01:24:52 +0000 | <Square> | int-e, your link helped me find what i wanted. |
| 2024-11-03 01:25:11 +0000 | <int-e> | nice :) |
| 2024-11-03 01:30:34 +0000 | zzz | (~z@user/zero) (Ping timeout: 260 seconds) |
| 2024-11-03 01:30:50 +0000 | zero | (~z@user/zero) zero |
| 2024-11-03 01:31:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-03 01:38:49 +0000 | billchenchina- | (~billchenc@2a09:bac5:444a:dc::16:21e) billchenchina |
| 2024-11-03 01:41:28 +0000 | billchenchina | (~billchenc@113x43x213x198.ap113.ftth.arteria-hikari.net) (Ping timeout: 252 seconds) |
| 2024-11-03 01:42:07 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 01:46:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 01:49:52 +0000 | <sm> | there's also the #haskell-wasm matrix room |
| 2024-11-03 01:54:24 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-11-03 01:59:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 02:04:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-03 02:04:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 02:04:50 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-11-03 02:07:36 +0000 | zero | (~z@user/zero) (Ping timeout: 252 seconds) |
| 2024-11-03 02:07:40 +0000 | zzz | (~z@user/zero) zero |
| 2024-11-03 02:08:04 +0000 | zzz | zero |
| 2024-11-03 02:14:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 02:18:38 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-03 02:19:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 02:30:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 02:34:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 02:46:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 02:51:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 02:52:02 +0000 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-11-03 03:00:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-11-03 03:01:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 03:05:01 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-11-03 03:05:32 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2024-11-03 03:08:44 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 03:12:51 +0000 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2024-11-03 03:19:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 03:25:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 03:30:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 03:35:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 03:36:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-11-03 03:40:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 03:50:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 03:55:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 03:55:40 +0000 | td_ | (~td@i5387090B.versanet.de) (Ping timeout: 252 seconds) |
| 2024-11-03 03:57:29 +0000 | td_ | (~td@i5387092D.versanet.de) td_ |
| 2024-11-03 03:59:06 +0000 | madhavanmiui | (~madhavanm@2409:40f4:305e:c732:8000::) |
| 2024-11-03 04:00:09 +0000 | madhavanmiui | (~madhavanm@2409:40f4:305e:c732:8000::) (Client Quit) |
| 2024-11-03 04:02:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 04:06:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 04:09:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-11-03 04:10:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-03 04:21:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 04:26:10 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-03 04:26:34 +0000 | alphabitserial | (~alphabits@user/alphabitserial) alphabitserial |
| 2024-11-03 04:36:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 04:42:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 04:54:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 04:59:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 05:01:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 05:09:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 05:13:00 +0000 | Guest74 | (~textual@129.94.128.31) |
| 2024-11-03 05:14:49 +0000 | alphabitserial | (~alphabits@user/alphabitserial) (Quit: goodnight) |
| 2024-11-03 05:20:25 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 05:24:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 05:28:52 +0000 | Inst_ | (~Inst@user/Inst) Inst |
| 2024-11-03 05:31:39 +0000 | Inst | (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 2024-11-03 05:32:20 +0000 | Inst_ | Inst |
| 2024-11-03 05:35:47 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 05:40:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 05:51:10 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 05:54:45 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-03 05:55:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-03 06:03:56 +0000 | Guest19 | (~Guest19@64.189.201.112) |
| 2024-11-03 06:05:51 +0000 | Guest19 | (~Guest19@64.189.201.112) (Client Quit) |
| 2024-11-03 06:06:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 06:11:44 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 06:22:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 06:29:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 06:36:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-03 06:38:09 +0000 | zaquest | (~notzaques@5.130.79.72) zaquest |
| 2024-11-03 06:40:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 06:42:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 06:45:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 06:46:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-11-03 06:56:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 07:00:00 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-03 07:00:36 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-03 07:05:00 +0000 | LainExperiments | (~LainExper@2804:880:1312:2d00:980e:a6e9:388c:88a0) |
| 2024-11-03 07:06:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 07:17:22 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 07:22:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 07:35:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 07:40:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-03 07:46:28 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-03 07:47:48 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2024-11-03 07:47:49 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-11-03 07:49:43 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 07:51:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 07:51:23 +0000 | Axma67059 | (~Axman6@user/axman6) Axman6 |
| 2024-11-03 07:53:25 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2024-11-03 07:54:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-11-03 08:00:02 +0000 | tt1231097832435 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-03 08:00:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 08:00:08 +0000 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-03 08:03:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 08:03:42 +0000 | tt1231097832435 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2024-11-03 08:07:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 08:15:55 +0000 | Guest74 | (~textual@129.94.128.31) |
| 2024-11-03 08:18:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 08:22:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-03 08:23:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-03 08:26:51 +0000 | acidjnk | (~acidjnk@p200300d6e7283f251482dc7d2b491cb5.dip0.t-ipconnect.de) acidjnk |
| 2024-11-03 08:32:34 +0000 | turlando | (~turlando@user/turlando) turlando |
| 2024-11-03 08:33:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 08:38:44 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 08:45:05 +0000 | billchenchina- | (~billchenc@2a09:bac5:444a:dc::16:21e) (Remote host closed the connection) |
| 2024-11-03 08:49:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 08:53:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 08:55:31 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 09:00:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-11-03 09:04:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 09:11:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 09:16:13 +0000 | CiaoSen | (~Jura@2a05:5800:48c:e200:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-11-03 09:22:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 09:23:06 +0000 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2024-11-03 09:24:51 +0000 | raym | (~ray@user/raym) raym |
| 2024-11-03 09:25:03 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-03 09:26:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 09:27:34 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-03 09:30:32 +0000 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-03 09:35:21 +0000 | hgolden_ | (~hgolden@static-198-44-129-83.cust.tzulo.com) hgolden |
| 2024-11-03 09:37:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 09:37:46 +0000 | hgolden__ | (~hgolden@204.152.216.122) (Ping timeout: 252 seconds) |
| 2024-11-03 09:37:53 +0000 | hgolden | (~hgolden@23.162.40.69) hgolden |
| 2024-11-03 09:39:33 +0000 | hgolden_ | (~hgolden@static-198-44-129-83.cust.tzulo.com) (Ping timeout: 245 seconds) |
| 2024-11-03 09:44:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-03 09:49:43 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-03 09:50:38 +0000 | Guest74 | (~textual@129.94.128.31) |
| 2024-11-03 09:50:38 +0000 | Guest74 | (~textual@129.94.128.31) (Client Quit) |
| 2024-11-03 09:51:00 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-03 09:51:12 +0000 | Guest74 | (~textual@129.94.128.31) |
| 2024-11-03 09:55:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 09:58:39 +0000 | CiaoSen | (~Jura@2a05:5800:48c:e200:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-11-03 09:59:44 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 10:06:30 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-03 10:09:18 +0000 | son0p | (~ff@181.237.206.243) son0p |
| 2024-11-03 10:20:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 10:22:41 +0000 | sprotte24 | (~sprotte24@p200300d16f282a00c16d448cb4b8f2b8.dip0.t-ipconnect.de) |
| 2024-11-03 10:22:47 +0000 | zfnmxt | (~zfnmxt@user/zfnmxt) (Remote host closed the connection) |
| 2024-11-03 10:25:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 10:25:54 +0000 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
| 2024-11-03 10:26:09 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-11-03 10:29:28 +0000 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-03 10:31:30 +0000 | Guest74 | (~textual@129.94.128.31) |
| 2024-11-03 10:33:28 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-03 10:36:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 10:38:03 +0000 | preflex | (~preflex@user/mauke/bot/preflex) (Remote host closed the connection) |
| 2024-11-03 10:40:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 10:51:23 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 10:51:44 +0000 | <juri_> | yaay. writing haskell for the first time in a year. |
| 2024-11-03 10:53:22 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 10:57:41 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-11-03 10:58:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 11:06:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 11:11:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 11:15:51 +0000 | n0den1te | (~aaaa@2402:3a80:4242:f78b:ea21:c8:204:f5b1) n0den1te |
| 2024-11-03 11:19:13 +0000 | LainExperiments | (~LainExper@2804:880:1312:2d00:980e:a6e9:388c:88a0) (Changing host) |
| 2024-11-03 11:19:13 +0000 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2024-11-03 11:21:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 11:26:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 11:31:09 +0000 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2024-11-03 11:35:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 11:37:10 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 11:39:36 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-11-03 11:41:07 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-03 11:42:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 11:53:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 11:54:49 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-03 11:55:38 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-11-03 11:57:20 +0000 | euleritian | (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-03 11:57:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 11:57:42 +0000 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) |
| 2024-11-03 11:58:50 +0000 | rvalue- | rvalue |
| 2024-11-03 12:01:52 +0000 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) (Read error: Connection reset by peer) |
| 2024-11-03 12:01:56 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 255 seconds) |
| 2024-11-03 12:02:34 +0000 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) |
| 2024-11-03 12:02:53 +0000 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-11-03 12:06:08 +0000 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) (Read error: Connection reset by peer) |
| 2024-11-03 12:06:21 +0000 | euleritian | (~euleritia@176.2.147.80) |
| 2024-11-03 12:07:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 12:07:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 12:08:43 +0000 | euleritian | (~euleritia@176.2.147.80) (Read error: Connection reset by peer) |
| 2024-11-03 12:09:03 +0000 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) |
| 2024-11-03 12:09:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-03 12:10:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-11-03 12:11:59 +0000 | Guest15 | (~Guest15@ten.nat.whka.de) |
| 2024-11-03 12:12:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-11-03 12:13:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-03 12:14:16 +0000 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) (Read error: Connection reset by peer) |
| 2024-11-03 12:15:56 +0000 | Guest15 | (~Guest15@ten.nat.whka.de) (Client Quit) |
| 2024-11-03 12:18:00 +0000 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) |
| 2024-11-03 12:22:03 +0000 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) (Ping timeout: 245 seconds) |
| 2024-11-03 12:23:37 +0000 | n0den1te | (~aaaa@2402:3a80:4242:f78b:ea21:c8:204:f5b1) (Quit: Quitting...) |
| 2024-11-03 12:25:50 +0000 | euleritian | (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) |
| 2024-11-03 12:29:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 12:34:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 12:46:57 +0000 | Leneleni | (~Leneleni@189.45.112.167) |
| 2024-11-03 12:47:21 +0000 | Leneleni | (~Leneleni@189.45.112.167) (Write error: Broken pipe) |
| 2024-11-03 12:48:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 12:50:01 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-11-03 12:55:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-03 12:58:03 +0000 | Square | (~Square@user/square) Square |
| 2024-11-03 12:59:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 12:59:33 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 2024-11-03 13:03:54 +0000 | euleritian | (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-03 13:04:23 +0000 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) |
| 2024-11-03 13:04:25 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-03 13:06:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 13:10:54 +0000 | euleritian | (~euleritia@ip-185-104-138-53.ptr.icomera.net) (Ping timeout: 252 seconds) |
| 2024-11-03 13:11:10 +0000 | euleritian | (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) |
| 2024-11-03 13:12:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 13:18:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 13:18:20 +0000 | euleritian | (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-11-03 13:22:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 13:24:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-11-03 13:28:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 13:33:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 13:35:05 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-11-03 13:38:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 13:39:19 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-11-03 13:45:19 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-11-03 13:46:53 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-03 13:47:02 +0000 | Everything | (~Everythin@178-133-29-33.mobile.vf-ua.net) Everything |
| 2024-11-03 13:49:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 13:52:34 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 260 seconds) |
| 2024-11-03 13:53:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-03 13:53:42 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2024-11-03 14:00:27 +0000 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2024-11-03 14:04:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 14:05:05 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-03 14:13:10 +0000 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-03 14:13:58 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-03 14:14:19 +0000 | euleritian | (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) |
| 2024-11-03 14:17:47 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-03 14:23:29 +0000 | Guest74 | (~textual@129.94.128.31) |
| 2024-11-03 14:28:17 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2024-11-03 14:29:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 14:35:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 14:35:49 +0000 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-11-03 14:37:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 14:39:45 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-03 14:47:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 14:52:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-03 15:00:22 +0000 | n0den1te | (~n0den1te@1.38.99.107) n0den1te |
| 2024-11-03 15:03:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 15:07:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 15:10:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 15:11:08 +0000 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-03 15:15:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 15:17:35 +0000 | <juri_> | la la la, writing an ai in haskell.. la la la... |
| 2024-11-03 15:19:44 +0000 | n0den1te | (~n0den1te@1.38.99.107) (Quit: leaving) |
| 2024-11-03 15:24:12 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-03 15:25:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 15:30:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-03 15:34:08 +0000 | euleritian | (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-11-03 15:41:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 15:50:06 +0000 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 276 seconds) |
| 2024-11-03 15:52:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 15:55:11 +0000 | sprotte24 | (~sprotte24@p200300d16f282a00c16d448cb4b8f2b8.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-11-03 15:55:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-03 15:59:58 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:68dd:fce:5f86:d51a) nschoe |
| 2024-11-03 16:03:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 16:05:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-03 16:10:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 16:18:24 +0000 | mantraofpie | (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
| 2024-11-03 16:20:42 +0000 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
| 2024-11-03 16:21:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 16:23:22 +0000 | euleritian | (~euleritia@dynamic-176-006-132-010.176.6.pool.telefonica.de) |
| 2024-11-03 16:25:52 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 16:30:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-03 16:36:55 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 16:38:15 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
| 2024-11-03 16:39:38 +0000 | stef204 | (~stef204@user/stef204) stef204 |
| 2024-11-03 16:41:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 16:44:41 +0000 | sprotte24 | (~sprotte24@p200300d16f282a00c16d448cb4b8f2b8.dip0.t-ipconnect.de) |
| 2024-11-03 16:45:15 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-03 16:52:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 16:53:38 +0000 | Everything | (~Everythin@178-133-29-33.mobile.vf-ua.net) (Ping timeout: 248 seconds) |
| 2024-11-03 16:55:12 +0000 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-11-03 16:55:30 +0000 | Everything | (~Everythin@46.211.221.97) Everything |
| 2024-11-03 16:55:41 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 2024-11-03 16:57:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 17:02:08 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-03 17:07:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 17:12:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 17:18:04 +0000 | constxd | (~constxd@user/constxd) (Ping timeout: 260 seconds) |
| 2024-11-03 17:23:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 17:28:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 17:28:42 +0000 | constxd | (~constxd@user/constxd) constxd |
| 2024-11-03 17:38:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 17:41:30 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-11-03 17:45:04 +0000 | euleritian | (~euleritia@dynamic-176-006-132-010.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-11-03 17:45:25 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 17:46:10 +0000 | euleritian | (~euleritia@dynamic-176-006-137-196.176.6.pool.telefonica.de) |
| 2024-11-03 17:46:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 17:48:18 +0000 | hgolden_ | (~hgolden@23.162.40.28) hgolden |
| 2024-11-03 17:48:26 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-11-03 17:50:40 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-11-03 17:50:41 +0000 | hgolden | (~hgolden@23.162.40.69) (Ping timeout: 255 seconds) |
| 2024-11-03 17:51:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-03 17:58:13 +0000 | euleritian | (~euleritia@dynamic-176-006-137-196.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-03 17:58:31 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-03 18:02:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 18:06:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-03 18:08:34 +0000 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-03 18:12:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-03 18:15:46 +0000 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-03 18:17:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 18:20:12 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-03 18:22:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 18:24:13 +0000 | <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 18:24:18 +0000 | <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 18:25:28 +0000 | <haskellbridge> | <Bowuigi> (Compile time known r', like, the one that has the default values) |
| 2024-11-03 18:26:34 +0000 | <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 18:27:51 +0000 | <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 18:32:26 +0000 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
| 2024-11-03 18:32:58 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 18:34:00 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-11-03 18:34:38 +0000 | Digit | (~user@user/digit) (Ping timeout: 272 seconds) |
| 2024-11-03 18:37:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 18:40:22 +0000 | Digitteknohippie | Digit |
| 2024-11-03 18:47:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 18:52:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 18:53:34 +0000 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) (Ping timeout: 260 seconds) |
| 2024-11-03 19:02:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-03 19:03:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 19:04:09 +0000 | alp | (~alp@2001:861:e3d6:8f80:dca:285c:1799:872d) |
| 2024-11-03 19:07:41 +0000 | dcoutts | (~duncan@185.201.60.211) dcoutts |
| 2024-11-03 19:08:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 19:13:28 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-03 19:18:09 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-03 19:18:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 19:25:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-03 19:29:20 +0000 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2024-11-03 19:36:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 19:41:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 19:42:17 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 2024-11-03 19:47:37 +0000 | sroso | (~sroso@user/SrOso) SrOso |
| 2024-11-03 19:48:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 19:50:27 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-03 19:53:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-03 19:53:08 +0000 | remedan_ | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-03 20:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-03 20:00:38 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-03 20:02:30 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-03 20:03:17 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-03 20:04:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 20:04:30 +0000 | dcoutts | (~duncan@185.201.60.211) (Remote host closed the connection) |
| 2024-11-03 20:06:00 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-03 20:08:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 20:16:16 +0000 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2024-11-03 20:19:04 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-11-03 20:19:06 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-03 20:19:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 20:22:09 +0000 | dcoutts | (~duncan@212.187.244.50) dcoutts |
| 2024-11-03 20:22:49 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-03 20:24:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 20:25:53 +0000 | <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 20:27:01 +0000 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 2024-11-03 20:28:35 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-03 20:35:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 20:36:57 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-11-03 20:37:24 +0000 | CiaoSen | (~Jura@2a05:5800:48c:e200:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-11-03 20:37:52 +0000 | euleritian | (~euleritia@dynamic-176-006-143-185.176.6.pool.telefonica.de) |
| 2024-11-03 20:39:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-03 20:48:23 +0000 | TonyStone | (~TonyStone@user/TonyStone) (Remote host closed the connection) |
| 2024-11-03 20:49:08 +0000 | dcoutts | (~duncan@212.187.244.50) (Ping timeout: 252 seconds) |
| 2024-11-03 20:49:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 20:50:26 +0000 | TonyStone | (~TonyStone@user/TonyStone) TonyStone |
| 2024-11-03 20:56:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-03 21:07:11 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2024-11-03 21:07:55 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 21:10:54 +0000 | dcoutts | (~duncan@109.238.68.62) |
| 2024-11-03 21:11:52 +0000 | Everything | (~Everythin@46.211.221.97) (Ping timeout: 252 seconds) |
| 2024-11-03 21:12:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-03 21:12:25 +0000 | Everything | (~Everythin@178-133-29-33.mobile.vf-ua.net) Everything |
| 2024-11-03 21:20:37 +0000 | euleritian | (~euleritia@dynamic-176-006-143-185.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-03 21:20:47 +0000 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2024-11-03 21:20:57 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-03 21:21:44 +0000 | LainExperiments | (~LainExper@user/LainExperiments) (Write error: Broken pipe) |
| 2024-11-03 21:23:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 21:27:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 21:39:36 +0000 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-11-03 21:43:28 +0000 | sprotte24 | (~sprotte24@p200300d16f282a00c16d448cb4b8f2b8.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-03 21:46:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 21:50:21 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-11-03 21:55:07 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 21:56:29 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-03 21:59:58 +0000 | sprotte24 | (~sprotte24@p200300d16f282a00c16d448cb4b8f2b8.dip0.t-ipconnect.de) |
| 2024-11-03 22:03:09 +0000 | CiaoSen | (~Jura@2a05:5800:48c:e200:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-11-03 22:07:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 22:12:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 22:15:18 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-11-03 22:23:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 22:23:18 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-03 22:27:56 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-03 22:29:11 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-11-03 22:35:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-03 22:38:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 22:42:21 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-11-03 22:44:09 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-03 22:44:13 +0000 | Axma67059 | Axman6 |
| 2024-11-03 22:44:48 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-11-03 22:46:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-03 22:50:00 +0000 | dcoutts | (~duncan@109.238.68.62) (Read error: Connection reset by peer) |
| 2024-11-03 22:50:22 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-03 22:51:28 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-11-03 22:51:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 22:56:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 23:02:43 +0000 | dcoutts | (~duncan@109.238.68.62) |
| 2024-11-03 23:04:55 +0000 | hgolden | (~hgolden@146.70.173.165) hgolden |
| 2024-11-03 23:06:10 +0000 | hololeap_ | hololeap |
| 2024-11-03 23:06:38 +0000 | hgolden_ | (~hgolden@23.162.40.28) (Ping timeout: 252 seconds) |
| 2024-11-03 23:06:43 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-11-03 23:07:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 23:09:18 +0000 | acidjnk | (~acidjnk@p200300d6e7283f251482dc7d2b491cb5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-11-03 23:11:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-03 23:13:10 +0000 | Everything | (~Everythin@178-133-29-33.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-03 23:14:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-11-03 23:15:47 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 2024-11-03 23:16:16 +0000 | euleritian | (~euleritia@dynamic-176-006-143-185.176.6.pool.telefonica.de) |
| 2024-11-03 23:18:17 +0000 | euleritian | (~euleritia@dynamic-176-006-143-185.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-03 23:18:34 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-11-03 23:18:47 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-03 23:22:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 23:25:20 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-11-03 23:27:52 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-03 23:31:03 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-11-03 23:31:22 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-03 23:38:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 23:41:36 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-11-03 23:42:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-03 23:45:20 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-03 23:52:55 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-03 23:55:11 +0000 | slac68956 | (~slack1256@179.60.70.224) (Remote host closed the connection) |
| 2024-11-03 23:56:56 +0000 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2024-11-03 23:57:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |