| 2025-01-22 00:05:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 00:05:58 +0100 | alfiee | (alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-22 00:08:49 +0100 | sprotte24 | (~sprotte24@p200300d16f040300a9d95df64a090144.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-22 00:09:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-22 00:09:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 00:13:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-22 00:20:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 00:20:31 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-22 00:21:04 +0100 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-01-22 00:25:06 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Read error: Connection reset by peer) |
| 2025-01-22 00:25:17 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: leaving) |
| 2025-01-22 00:25:24 +0100 | LainExperiments6 | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-01-22 00:25:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-22 00:27:00 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-22 00:27:38 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-01-22 00:28:40 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds) |
| 2025-01-22 00:31:16 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer) |
| 2025-01-22 00:31:30 +0100 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2025-01-22 00:31:30 +0100 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2025-01-22 00:31:30 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-01-22 00:34:49 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-22 00:36:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 00:38:40 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-22 00:41:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-22 00:46:51 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-22 00:47:11 +0100 | Xe | (~Xe@perl/impostor/xe) (Read error: Connection reset by peer) |
| 2025-01-22 00:49:53 +0100 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-01-22 00:51:04 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-22 00:51:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 00:57:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 00:59:58 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-22 01:00:17 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 01:02:33 +0100 | alx741 | (~alx741@186.33.188.229) (Ping timeout: 246 seconds) |
| 2025-01-22 01:02:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-01-22 01:02:56 +0100 | ljdarj1 | ljdarj |
| 2025-01-22 01:04:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-22 01:05:32 +0100 | <zero> | hellwolf: the ability to do `(0,1) { fst = 2 } ==> (2,1)` |
| 2025-01-22 01:06:40 +0100 | LainExperiments6 | (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds) |
| 2025-01-22 01:07:57 +0100 | WzC | (~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2025-01-22 01:08:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 01:11:13 +0100 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2025-01-22 01:12:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-22 01:14:25 +0100 | <haskellbridge> | <magic_rb> Without lenses it do be a bit awkward to update tuples. But then again if your tuple is 4 or more wide, maybe you should consider a record |
| 2025-01-22 01:14:47 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-22 01:18:00 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-01-22 01:18:36 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-22 01:20:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-22 01:20:59 +0100 | KicksonButt | (~AdminUser@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-22 01:23:04 +0100 | <jackdk> | Agreed - it's rare indeed that I want even a 3-tuple |
| 2025-01-22 01:23:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 01:28:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-22 01:29:41 +0100 | acidjnk | (~acidjnk@p200300d6e7283f1030c548a6d05e3160.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-22 01:36:16 +0100 | <zero> | first and second from Data.Bifunctor are useful |
| 2025-01-22 01:36:22 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-22 01:36:23 +0100 | <zero> | :t first |
| 2025-01-22 01:36:24 +0100 | <lambdabot> | Arrow a => a b c -> a (b, d) (c, d) |
| 2025-01-22 01:36:51 +0100 | <zero> | first (const 2) (0,1) |
| 2025-01-22 01:36:54 +0100 | <zero> | > first (const 2) (0,1) |
| 2025-01-22 01:36:55 +0100 | <lambdabot> | (2,1) |
| 2025-01-22 01:37:33 +0100 | <geekosaur> | you're reinventing lens, I see |
| 2025-01-22 01:39:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 01:39:39 +0100 | <geekosaur> | in some sense, at least |
| 2025-01-22 01:39:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-22 01:40:00 +0100 | <zero> | reiventing lisp |
| 2025-01-22 01:40:51 +0100 | <zero> | > (fst . snd . snd) (0,(1,(2,3))) |
| 2025-01-22 01:40:53 +0100 | <lambdabot> | 2 |
| 2025-01-22 01:41:28 +0100 | <zero> | > (fst (snd (snd (0,(1,(2,3)))))) |
| 2025-01-22 01:41:30 +0100 | <lambdabot> | 2 |
| 2025-01-22 01:42:12 +0100 | <zero> | > let (car,cdr) = (fst,snd) in (fst (snd (snd (0,(1,(2,3)))))) |
| 2025-01-22 01:42:14 +0100 | <lambdabot> | 2 |
| 2025-01-22 01:42:23 +0100 | <zero> | > let (car,cdr) = (fst,snd) in (car (cdr (cdr (0,(1,(2,3)))))) |
| 2025-01-22 01:42:25 +0100 | <lambdabot> | 2 |
| 2025-01-22 01:42:29 +0100 | <zero> | there we go |
| 2025-01-22 01:44:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-22 01:44:15 +0100 | <zero> | i wonder about the efficiency of tuple trees vs idiomatic trees in haskell |
| 2025-01-22 01:51:03 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 01:52:40 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-22 01:54:43 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8176:27ad:84f:a9f5) (Ping timeout: 264 seconds) |
| 2025-01-22 01:54:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 01:55:17 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-22 01:55:26 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-22 01:59:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-22 02:01:11 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-22 02:10:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 02:15:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-22 02:20:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-22 02:24:23 +0100 | mange | (~user@user/mange) mange |
| 2025-01-22 02:24:34 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-01-22 02:25:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 02:28:48 +0100 | otto_s | (~user@p5de2f474.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-22 02:29:12 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-22 02:29:48 +0100 | otto_s | (~user@p5de2f486.dip0.t-ipconnect.de) |
| 2025-01-22 02:32:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 02:40:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 02:41:54 +0100 | bcksl | (~bcksl@user/bcksl) (Quit: \) |
| 2025-01-22 02:41:54 +0100 | end | (~end@user/end/x-0094621) (Quit: end) |
| 2025-01-22 02:43:13 +0100 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-01-22 02:43:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 02:45:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-01-22 02:45:41 +0100 | end | (~end@user/end/x-0094621) end^ |
| 2025-01-22 02:48:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-22 02:50:15 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-22 02:59:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 03:00:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-01-22 03:04:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-22 03:14:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 03:16:56 +0100 | ft | (~ft@p3e9bca18.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-22 03:18:00 +0100 | ft | (~ft@p4fc2a1c1.dip0.t-ipconnect.de) ft |
| 2025-01-22 03:19:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-22 03:21:52 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-01-22 03:26:00 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2025-01-22 03:26:16 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-01-22 03:28:52 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-22 03:30:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 03:30:31 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 03:34:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 03:34:54 +0100 | hueso_ | (~root@user/hueso) hueso |
| 2025-01-22 03:35:01 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-22 03:36:37 +0100 | hueso_ | (~root@user/hueso) (Client Quit) |
| 2025-01-22 03:44:22 +0100 | cy7 | (~yt@pool-99-238-69-14.cpe.net.cable.rogers.com) (Ping timeout: 265 seconds) |
| 2025-01-22 03:45:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 03:49:30 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-22 03:49:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-22 03:50:25 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-22 03:54:20 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-01-22 03:54:36 +0100 | califax | (~califax@user/califx) califx |
| 2025-01-22 03:55:13 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-01-22 03:55:29 +0100 | ColinRobinson | JuanDaugherty |
| 2025-01-22 03:55:36 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-01-22 03:56:05 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-22 03:56:47 +0100 | cy7 | (~yt@pool-99-238-69-14.cpe.net.cable.rogers.com) |
| 2025-01-22 04:00:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 04:02:38 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-22 04:11:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 04:16:50 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-22 04:17:30 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-22 04:20:41 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-22 04:20:48 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-22 04:20:56 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-22 04:21:06 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2025-01-22 04:21:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 04:22:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 04:22:56 +0100 | euleritian | (~euleritia@77.23.250.232) (Remote host closed the connection) |
| 2025-01-22 04:23:14 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-22 04:23:17 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-22 04:23:34 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-22 04:25:41 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-22 04:26:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-22 04:28:40 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-22 04:32:38 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-22 04:37:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 04:41:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 04:43:15 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-22 04:46:49 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-22 04:48:22 +0100 | AbueloAtrofiado | (~AbueloAtr@2806:106e:1b:2d3:3915:1723:c558:3f6b) |
| 2025-01-22 04:48:59 +0100 | AbueloAtrofiado | (~AbueloAtr@2806:106e:1b:2d3:3915:1723:c558:3f6b) (Client Quit) |
| 2025-01-22 04:52:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 04:57:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-22 05:05:37 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-22 05:05:52 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-22 05:08:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 05:08:34 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-22 05:10:59 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 05:12:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 05:15:17 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-22 05:18:43 +0100 | <jle`> | tuple trees are basically type-level trees -- there's that common trick that you can use them to easily overload/timeout typechecking |
| 2025-01-22 05:18:47 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-22 05:19:01 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-22 05:19:45 +0100 | aforemny | (~aforemny@2001:9e8:6ce4:b500:6e75:95aa:3ce2:b258) aforemny |
| 2025-01-22 05:19:49 +0100 | <jle`> | :t let f x = (x, x) in f . f . f . f . f . f . f . f |
| 2025-01-22 05:19:50 +0100 | <lambdabot> | b -> ((((((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b))))), (((((b, b), (b, b)), ((b, b), (b, |
| 2025-01-22 05:19:50 +0100 | <lambdabot> | b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))))), ((((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, |
| 2025-01-22 05:19:50 +0100 | <lambdabot> | b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b))))), (((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, |
| 2025-01-22 05:19:50 +0100 | <lambdabot> | b))), (((b, b), (b, b)), ((b, b), (b, b))))))), (((((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, |
| 2025-01-22 05:19:50 +0100 | <lambdabot> | b))))), (((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))))), ((((((b, b), (b, b)), ((b, b), |
| 2025-01-22 05:19:52 +0100 | <lambdabot> | (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b))))), (((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, |
| 2025-01-22 05:19:54 +0100 | <lambdabot> | b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))))))) |
| 2025-01-22 05:19:58 +0100 | <jle`> | oh sorry i didn't realize that would actually evaluate |
| 2025-01-22 05:20:36 +0100 | aforemny_ | (~aforemny@2001:9e8:6cc6:4600:1315:1249:75e2:82ec) (Ping timeout: 276 seconds) |
| 2025-01-22 05:23:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 05:27:45 +0100 | <monochrom> | But yeah it's exponential length output so exponential time so we're cool. :) |
| 2025-01-22 05:28:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 05:28:18 +0100 | <geekosaur> | most of the slowdown there, though, was lambdabot throttling so it didn't get kicked for flooding… |
| 2025-01-22 05:28:38 +0100 | <geekosaur> | ghc was done with its delay when the first line came out |
| 2025-01-22 05:33:15 +0100 | agent314 | (~quassel@208.131.130.69) agent314 |
| 2025-01-22 05:33:47 +0100 | halloy1022 | (~halloy102@111.65.75.121) |
| 2025-01-22 05:34:01 +0100 | halloy1022 | (~halloy102@111.65.75.121) (Remote host closed the connection) |
| 2025-01-22 05:35:58 +0100 | <homo> | exciting good news https://github.com/augustss/MicroHs/tree/hugs |
| 2025-01-22 05:38:45 +0100 | <haskellbridge> | <sm> sounds cool, what will it mean ? |
| 2025-01-22 05:38:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 05:43:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |