2025-08-24 00:03:47 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-24 00:04:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
2025-08-24 00:05:36 +0200 | tromp | (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-24 00:05:43 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-08-24 00:07:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-08-24 00:07:33 +0200 | ljdarj1 | ljdarj |
2025-08-24 00:08:46 +0200 | _________ | (~nobody@user/noodly) (Ping timeout: 255 seconds) |
2025-08-24 00:08:53 +0200 | tccq` | (~user@97-120-249-160.ptld.qwest.net) (Remote host closed the connection) |
2025-08-24 00:33:56 +0200 | athan | (~athan@syn-174-106-168-248.res.spectrum.com) (Quit: Konversation terminated!) |
2025-08-24 00:46:29 +0200 | trickard__ | trickard |
2025-08-24 00:46:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 00:47:53 +0200 | ii8 | (~ii8@45.63.97.131) (Quit: ii8) |
2025-08-24 00:48:26 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2025-08-24 00:49:03 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-24 00:50:26 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-08-24 00:51:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 01:02:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 01:06:40 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (Server closed connection) |
2025-08-24 01:06:51 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) S11001001 |
2025-08-24 01:07:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 01:12:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 01:13:38 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
2025-08-24 01:17:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 01:27:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 01:32:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 01:40:06 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-08-24 01:41:25 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
2025-08-24 01:42:25 +0200 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
2025-08-24 01:43:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 01:47:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 01:58:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 02:05:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 02:11:22 +0200 | sprotte24 | (~sprotte24@p200300d16f131600f98621b03c1eacb6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-08-24 02:13:48 +0200 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
2025-08-24 02:15:16 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-24 02:16:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 02:21:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 02:28:13 +0200 | spew | (e9e8135d87@user/spew) (Server closed connection) |
2025-08-24 02:28:23 +0200 | spew | (e9e8135d87@user/spew) spew |
2025-08-24 02:29:30 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-08-24 02:32:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 02:36:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 02:43:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-24 02:46:48 +0200 | acidjnk | (~acidjnk@p200300d6e717199218c92204bd27247f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-08-24 02:47:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 02:52:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 02:59:15 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) (Server closed connection) |
2025-08-24 02:59:28 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) loonycyborg |
2025-08-24 02:59:59 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
2025-08-24 03:00:41 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-08-24 03:02:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 03:06:01 +0200 | yin | (~zero@user/zero) (Ping timeout: 256 seconds) |
2025-08-24 03:07:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 03:07:10 +0200 | yin | (~zero@user/zero) zero |
2025-08-24 03:07:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
2025-08-24 03:07:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-24 03:15:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
2025-08-24 03:16:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-24 03:16:56 +0200 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) zarakshR |
2025-08-24 03:18:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 03:19:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
2025-08-24 03:20:26 +0200 | ft | (~ft@p508db91f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-08-24 03:22:14 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) ft |
2025-08-24 03:22:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 03:32:33 +0200 | stureplan | (22e45d5caf@user/stureplan) (Server closed connection) |
2025-08-24 03:32:42 +0200 | stureplan | (22e45d5caf@user/stureplan) stureplan |
2025-08-24 03:33:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 03:36:42 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-08-24 03:36:44 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-24 03:38:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-08-24 03:38:52 +0200 | ljdarj1 | ljdarj |
2025-08-24 03:38:59 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Server closed connection) |
2025-08-24 03:39:08 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o |
2025-08-24 03:40:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 03:45:03 +0200 | jmcantrell_ | jmcantrell |
2025-08-24 03:51:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 03:56:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-24 03:57:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) |
2025-08-24 03:58:17 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Server closed connection) |
2025-08-24 03:58:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Client Quit) |
2025-08-24 03:58:26 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers |
2025-08-24 03:59:15 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-08-24 04:05:03 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2025-08-24 04:05:37 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2025-08-24 04:06:48 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-08-24 04:07:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 04:11:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 04:22:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 04:22:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
2025-08-24 04:27:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 04:37:16 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-08-24 04:37:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 04:41:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2025-08-24 04:41:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-24 04:42:20 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 258 seconds) |
2025-08-24 04:42:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-24 04:46:06 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-24 04:48:37 +0200 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) (Server closed connection) |
2025-08-24 04:48:43 +0200 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) fgaz |
2025-08-24 04:53:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 04:57:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 04:59:05 +0200 | <haskellbridge> | <Axman6> I'm trying to do something that I thought would be simple using LinearTypes, but GHC tells me I'm wrong - any idea why the multiplicity of but here isn't One? https://gist.github.com/axman6/02af4d217b6755fc5637a02aad6bf85b (Sorry for anyone who also saw it on #haskell on Matrix) |
2025-08-24 05:08:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 05:09:12 +0200 | <Leary> | Axman6: Tried switching `case` for `let`? According to <https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/linear_types.html#limitations>, inference for `case` is still experimental. |
2025-08-24 05:15:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-24 05:19:26 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-08-24 05:26:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 05:31:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 05:33:06 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce2:be00:e05:cc8b:50c4:6af1) aforemny |
2025-08-24 05:34:16 +0200 | aforemny | (~aforemny@2001:9e8:6cc3:5000:84f2:1d2b:1f7:6b17) (Ping timeout: 248 seconds) |
2025-08-24 05:40:46 +0200 | <haskellbridge> | <Axman6> Ah, interesting! I will try |
2025-08-24 05:41:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 05:46:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 05:47:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
2025-08-24 05:47:42 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-24 05:57:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 06:02:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 06:04:47 +0200 | trickard | (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-24 06:05:00 +0200 | trickard_ | (~trickard@cpe-48-98-47-163.wireline.com.au) |
2025-08-24 06:12:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 06:17:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-24 06:18:32 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2025-08-24 06:23:01 +0200 | <haskellbridge> | <Axman6> Urgh, I guess I do not understand linear types, I simply cannot get GHC to accept anything as being linear unless it's just some version of linear id. it seem that if I pass the linear argument into another linear function it always infers that the multiplicity is Many, which makes no sense to me. |
2025-08-24 06:27:17 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-08-24 06:28:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 06:28:47 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-24 06:32:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2821:a49c:15d4:98f4) (Ping timeout: 248 seconds) |
2025-08-24 06:32:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 06:35:22 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) |
2025-08-24 06:40:01 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
2025-08-24 06:43:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 06:50:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-24 06:56:56 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-08-24 06:58:07 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-24 07:00:40 +0200 | <Pozyomka> | If you launch GHCi directly from a shell, and you enter an expression whose type doesn't have a Show instance, you get an error message complaining about the lack of this Show instance. But, if you launch GHCi from Emacs' haskell-mode, it behaves as if you had entered “:t expression”. Is there some command-line flag that I can pass to GHCi to get the haskell-mode behavior? |
2025-08-24 07:01:39 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-08-24 07:01:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 07:03:37 +0200 | arahael | (~wetfoot@user/arahael) arahael |
2025-08-24 07:06:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 07:11:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 07:14:32 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) (Ping timeout: 248 seconds) |
2025-08-24 07:15:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 07:19:30 +0200 | trickard_ | (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-24 07:19:43 +0200 | trickard_ | (~trickard@cpe-48-98-47-163.wireline.com.au) |
2025-08-24 07:22:05 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) |
2025-08-24 07:24:53 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-08-24 07:26:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 07:28:37 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Server closed connection) |
2025-08-24 07:28:46 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
2025-08-24 07:30:34 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 248 seconds) |
2025-08-24 07:31:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 07:35:24 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.0) |
2025-08-24 07:38:40 +0200 | <geekosaur> | you might be able to `import Debug.SimpleReflect` in .ghci after arranging for https://flora.pm/packages/@hackage/simple-reflect to be installed globally by some means (or using `cabal repl` or `stack ghci`) |
2025-08-24 07:40:48 +0200 | asivitz | (uid178348@id-178348.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-08-24 07:41:22 +0200 | <Pozyomka> | Thanks! |
2025-08-24 07:42:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 07:44:07 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-24 07:46:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 07:49:12 +0200 | comonad | (~comonad@p200300d0270a4d00dd81877f81551ca0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-08-24 07:50:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) (Ping timeout: 256 seconds) |
2025-08-24 07:50:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) |
2025-08-24 07:51:05 +0200 | comonad | (~comonad@p200300d0270ddd009670adfc2eadacd3.dip0.t-ipconnect.de) |
2025-08-24 07:51:17 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (Server closed connection) |
2025-08-24 07:51:40 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) sa |
2025-08-24 07:56:18 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-08-24 07:57:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 08:02:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 08:12:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 08:17:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-24 08:19:35 +0200 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-08-24 08:21:48 +0200 | p3n | (~p3n@217.198.124.246) p3n |
2025-08-24 08:27:31 +0200 | juri_ | (~juri@implicitcad.org) (Server closed connection) |
2025-08-24 08:27:45 +0200 | juri_ | (~juri@implicitcad.org) juri_ |
2025-08-24 08:28:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 08:31:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) (Ping timeout: 252 seconds) |
2025-08-24 08:35:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 08:35:49 +0200 | trickard_ | trickard |
2025-08-24 08:35:51 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) |
2025-08-24 08:46:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 08:51:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 08:51:56 +0200 | _________ | (~nobody@user/noodly) _________ |
2025-08-24 08:54:32 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-08-24 08:59:16 +0200 | tromp | (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) |
2025-08-24 09:00:01 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-08-24 09:00:42 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-08-24 09:01:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 09:06:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-24 09:06:57 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-08-24 09:12:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 09:16:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-24 09:22:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-24 09:23:14 +0200 | Guest32 | (~Guest32@2001:2d8:708e:9c40:e4f3:3a81:b203:f1a7) |
2025-08-24 09:25:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 09:30:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 09:32:32 +0200 | puke | (~puke@user/puke) (Quit: puke) |
2025-08-24 09:36:29 +0200 | puke | (~puke@user/puke) puke |
2025-08-24 09:39:51 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-24 09:40:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 09:41:55 +0200 | Taneb | (~Taneb@ip87-106-35-210.pbiaas.com) (Server closed connection) |
2025-08-24 09:44:47 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
2025-08-24 09:45:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-24 09:47:03 +0200 | Taneb | (~Taneb@ip87-106-35-210.pbiaas.com) Taneb |
2025-08-24 09:49:32 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-08-24 09:52:58 +0200 | Guest84 | (~Guest94@203.129.50.252) |
2025-08-24 09:53:29 +0200 | <Guest84> | @pl fun2' :: Integer -> Integer |
2025-08-24 09:53:30 +0200 | <lambdabot> | (line 1, column 20): |
2025-08-24 09:53:30 +0200 | <lambdabot> | unexpected '>' |
2025-08-24 09:53:30 +0200 | <lambdabot> | expecting operator |
2025-08-24 09:53:30 +0200 | <Guest84> | fun2' = sum . filter even . takeWhile (> 1) . iterate (\n -> if even n then n `div` 2 else 3 * n + 1) |
2025-08-24 09:53:44 +0200 | <Guest84> | @pl fun2' = sum . filter even . takeWhile (> 1) . iterate (\n -> if even n then n `div` 2 else 3 * n + 1) |
2025-08-24 09:53:44 +0200 | <lambdabot> | fun2' = sum . filter even . takeWhile (> 1) . iterate (ap (liftM2 if' even (`div` 2)) ((1 +) . (3 *))) |
2025-08-24 09:55:24 +0200 | <Guest84> | @pl fun2 1 = 0 |
2025-08-24 09:55:24 +0200 | <lambdabot> | fun2 = const 0 |
2025-08-24 09:55:24 +0200 | <Guest84> | fun2 n |
2025-08-24 09:55:25 +0200 | <Guest84> | | even n = n + fun2 (n `div` 2) |
2025-08-24 09:55:25 +0200 | <Guest84> | | otherwise = fun2 (3 * n + 1) |
2025-08-24 09:56:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 09:57:49 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
2025-08-24 09:58:19 +0200 | <Guest84> | @pl fun1' xs = product $ map (subtract 2) (filter even xs) |
2025-08-24 09:58:19 +0200 | <lambdabot> | fun1' = product . map (subtract 2) . filter even |
2025-08-24 09:58:50 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 248 seconds) |
2025-08-24 09:59:12 +0200 | Guest84 | (~Guest94@203.129.50.252) (Quit: Client closed) |
2025-08-24 10:01:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 10:01:20 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-08-24 10:02:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-08-24 10:02:21 +0200 | Square2 | (~Square@user/square) Square |
2025-08-24 10:05:33 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-08-24 10:08:28 +0200 | Everything | (~Everythin@178-133-133-18.mobile.vf-ua.net) Everything |
2025-08-24 10:11:23 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-08-24 10:12:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 10:13:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-08-24 10:16:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-24 10:18:29 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-08-24 10:23:13 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-08-24 10:25:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) |
2025-08-24 10:27:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 10:28:16 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-08-24 10:30:06 +0200 | acidjnk | (~acidjnk@p200300d6e717199218c92204bd27247f.dip0.t-ipconnect.de) acidjnk |
2025-08-24 10:31:08 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-08-24 10:31:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 10:43:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 10:46:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-08-24 10:47:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 10:47:56 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-08-24 10:58:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 11:02:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-08-24 11:12:28 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Quit: fp) |
2025-08-24 11:12:46 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-08-24 11:13:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 11:17:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-24 11:22:43 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-08-24 11:26:09 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-08-24 11:28:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 11:29:50 +0200 | Dykam | (Dykam@dykam.nl) (Server closed connection) |
2025-08-24 11:30:00 +0200 | Dykam | (Dykam@dykam.nl) Dykam |
2025-08-24 11:33:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 11:33:52 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2025-08-24 11:43:45 +0200 | Guest32 | (~Guest32@2001:2d8:708e:9c40:e4f3:3a81:b203:f1a7) (Ping timeout: 250 seconds) |
2025-08-24 11:44:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 11:48:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-24 11:49:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-24 11:50:34 +0200 | acro | (~acro@user/acro) (Server closed connection) |
2025-08-24 11:50:51 +0200 | acro | (~acro@user/acro) acro |
2025-08-24 11:54:38 +0200 | Everything | (~Everythin@178-133-133-18.mobile.vf-ua.net) (Quit: leaving) |
2025-08-24 11:59:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 12:06:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 12:09:18 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 252 seconds) |
2025-08-24 12:12:13 +0200 | Guest54 | (~Guest94@203.129.50.252) |
2025-08-24 12:12:13 +0200 | <Guest54> | @pl sieveSundaram :: Integer -> [Integer] |
2025-08-24 12:12:13 +0200 | <Guest54> | sieveSundaram n = map (\x -> 2 * x + 1) [1 .. n] \\ filter (< 2 * (n + 1)) [i + j + 2 * i * j | (i, j) <- [(x, y) | x <- [1 .. n], y <- [1 .. n]]] |
2025-08-24 12:12:13 +0200 | <lambdabot> | (line 1, column 28): |
2025-08-24 12:12:13 +0200 | <lambdabot> | unexpected '>' |
2025-08-24 12:12:13 +0200 | <lambdabot> | expecting operator |
2025-08-24 12:12:22 +0200 | <Guest54> | @pl sieveSundaram n = map (\x -> 2 * x + 1) [1 .. n] \\ filter (< 2 * (n + 1)) [i + j + 2 * i * j | (i, j) <- [(x, y) | x <- [1 .. n], y <- [1 .. n]]] |
2025-08-24 12:12:23 +0200 | <lambdabot> | (line 1, column 50): |
2025-08-24 12:12:23 +0200 | <lambdabot> | unexpected '\\' |
2025-08-24 12:12:23 +0200 | <lambdabot> | expecting variable, "(", operator or end of input |
2025-08-24 12:12:41 +0200 | <Guest54> | @pl sieveSundaram n = map (\x -> 2 * x + 1) [1 .. n] || filter (< 2 * (n + 1)) [i + j + 2 * i * j | (i, j) <- [(x, y) | x <- [1 .. n], y <- [1 .. n]]] |
2025-08-24 12:12:42 +0200 | <lambdabot> | sieveSundaram = ap ((||) . map ((1 +) . (2 *)) . enumFromTo 1) (ap (filter . flip (<) . (2 *) . (1 +)) (return . ((i + j) +) . ((2 * i) *) . ((j | (i, j)) <-) . ap ((:) . (((x, y) | x) <-) . |
2025-08-24 12:12:42 +0200 | <lambdabot> | enumFromTo 1) (return . (y <-) . enumFromTo 1))) |
2025-08-24 12:13:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) |
2025-08-24 12:14:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 12:16:22 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-08-24 12:17:33 +0200 | Guest54 | (~Guest94@203.129.50.252) (Ping timeout: 250 seconds) |
2025-08-24 12:18:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 12:28:40 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 248 seconds) |
2025-08-24 12:29:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 12:32:25 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Server closed connection) |
2025-08-24 12:32:48 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
2025-08-24 12:34:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 12:36:09 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-08-24 12:36:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-24 12:44:15 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-08-24 12:45:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 12:49:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-24 13:00:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 13:03:12 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 252 seconds) |
2025-08-24 13:04:28 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
2025-08-24 13:04:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 13:09:37 +0200 | m_a_r_k | (~m_a_r_k@user/m-a-r-k:45929) (Server closed connection) |
2025-08-24 13:09:52 +0200 | m_a_r_k | (~m_a_r_k@user/m-a-r-k:45929) m_a_r_k |
2025-08-24 13:10:18 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
2025-08-24 13:15:14 +0200 | jkoshy | (99b9359beb@user/jkoshy) (Server closed connection) |
2025-08-24 13:15:22 +0200 | jkoshy | (99b9359beb@user/jkoshy) jkoshy |
2025-08-24 13:15:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 13:17:22 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Server closed connection) |
2025-08-24 13:20:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-24 13:22:55 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2025-08-24 13:24:48 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-24 13:24:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2025-08-24 13:26:18 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
2025-08-24 13:27:00 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-08-24 13:28:13 +0200 | pabs3 | (~pabs3@user/pabs3) (Server closed connection) |
2025-08-24 13:28:20 +0200 | img | (~img@user/img) img |
2025-08-24 13:28:43 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-08-24 13:29:46 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-24 13:31:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 13:32:06 +0200 | AlexZenon | (~alzenon@178.34.150.79) (Ping timeout: 258 seconds) |
2025-08-24 13:37:16 +0200 | AlexZenon | (~alzenon@178.34.150.79) |
2025-08-24 13:37:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-08-24 13:41:42 +0200 | tromp | (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-24 13:42:28 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-08-24 13:49:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |