| 2024-08-13 00:00:28 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-13 00:06:52 +0000 | <jackdk> | I don't follow, are you able to elaborate? |
| 2024-08-13 00:08:35 +0000 | <dolio> | s f g x = f x (g x). The g and x have switched order, and x is duplicated. |
| 2024-08-13 00:08:42 +0000 | <dolio> | k x y = x, y is gone. |
| 2024-08-13 00:08:45 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-08-13 00:09:43 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-08-13 00:10:20 +0000 | <dolio> | In sequent calculus, exchange switches order of premises. Contraction duplicates premises. Weakening discards premises. |
| 2024-08-13 00:12:34 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-08-13 00:12:35 +0000 | <dolio> | I guess s is also cut, because g has become an argument to f. |
| 2024-08-13 00:16:45 +0000 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-13 00:20:21 +0000 | <dolio> | And you need two combinators because if you just added a discarded argument to s, you'd have to duplicate other stuff to throw anything away. |
| 2024-08-13 00:27:03 +0000 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 245 seconds) |
| 2024-08-13 00:29:05 +0000 | sawilagar_ | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2024-08-13 00:32:17 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-08-13 00:37:05 +0000 | califax | (~califax@user/califx) |
| 2024-08-13 00:41:51 +0000 | neuroevolutus | (~neuroevol@2603:8080:aa00:1a4d:7899:2249:538c:9622) |
| 2024-08-13 00:43:01 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-13 00:45:03 +0000 | <haskellbridge> | <thirdofmay18081814goya> what's pointfree for "f x = g x . h x "? |
| 2024-08-13 00:47:35 +0000 | <geekosaur> | @pl f x = g x . h x |
| 2024-08-13 00:47:35 +0000 | <lambdabot> | f = liftM2 (.) g h |
| 2024-08-13 00:48:04 +0000 | <geekosaur> | (or `liftA2` if you prefer; @pl was never updated for Applicative) |
| 2024-08-13 00:48:43 +0000 | <haskellbridge> | <thirdofmay18081814goya> neato! ty |
| 2024-08-13 00:50:32 +0000 | <geekosaur> | you can't easily use it from the bridge, although there's a hack: craft a 2-line message, make the second line the bot invocation. may annoy people on this side though |
| 2024-08-13 00:53:13 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-08-13 00:53:27 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-13 00:53:52 +0000 | itaipu | (~itaipu@168.121.98.114) (Ping timeout: 272 seconds) |
| 2024-08-13 00:55:02 +0000 | Bynbo7 | (~username@3.184.70.115.static.exetel.com.au) |
| 2024-08-13 00:56:27 +0000 | Axman6 | will be so annoyed |
| 2024-08-13 01:02:24 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 01:06:43 +0000 | itaipu | (~itaipu@168.121.98.149) |
| 2024-08-13 01:08:13 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-13 01:14:29 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 248 seconds) |
| 2024-08-13 01:21:53 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-13 01:23:37 +0000 | neuroevolutus | (~neuroevol@2603:8080:aa00:1a4d:7899:2249:538c:9622) (Ping timeout: 256 seconds) |
| 2024-08-13 01:29:01 +0000 | ZharMeny | (~user@user/ZharMeny) (Quit: ') |
| 2024-08-13 01:40:37 +0000 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) |
| 2024-08-13 01:45:49 +0000 | Bynbo7 | (~username@3.184.70.115.static.exetel.com.au) (Remote host closed the connection) |
| 2024-08-13 01:49:06 +0000 | Axma49940 | (~Axman6@user/axman6) |
| 2024-08-13 01:49:55 +0000 | Axma49940 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-08-13 01:50:11 +0000 | Bynbo7 | (~Axman6@user/axman6) |
| 2024-08-13 01:57:50 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-08-13 02:06:30 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 02:08:43 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-08-13 02:09:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-13 02:24:53 +0000 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 248 seconds) |
| 2024-08-13 02:26:44 +0000 | td_ | (~td@i53870936.versanet.de) |
| 2024-08-13 02:29:54 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-13 02:36:09 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-08-13 02:44:08 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-13 02:47:52 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-08-13 02:48:20 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-08-13 02:48:34 +0000 | tomku | (~tomku@user/tomku) |
| 2024-08-13 02:55:49 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9cab:87b:80dd:616a) (Ping timeout: 248 seconds) |
| 2024-08-13 03:04:44 +0000 | itaipu | (~itaipu@168.121.98.149) (Read error: Connection reset by peer) |
| 2024-08-13 03:04:45 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2024-08-13 03:13:54 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-08-13 03:15:10 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-08-13 03:21:44 +0000 | itaipu | (~itaipu@168.121.98.149) |
| 2024-08-13 03:30:01 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-13 03:46:44 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 03:56:03 +0000 | aforemny | (~aforemny@i59F516E3.versanet.de) |
| 2024-08-13 03:56:34 +0000 | xelxebar_ | (~xelxebar@wilsonb.com) (Ping timeout: 248 seconds) |
| 2024-08-13 03:56:53 +0000 | aforemny_ | (~aforemny@2001:9e8:6cef:5a00:2895:51b4:d10f:29a8) (Ping timeout: 258 seconds) |
| 2024-08-13 03:58:15 +0000 | xelxebar | (~xelxebar@wilsonb.com) |
| 2024-08-13 03:59:37 +0000 | xff0x | (~xff0x@om126253194070.31.openmobile.ne.jp) |
| 2024-08-13 04:14:32 +0000 | nek0 | (~nek0@user/nek0) |
| 2024-08-13 04:33:21 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-08-13 04:33:45 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-08-13 04:44:06 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 2024-08-13 04:54:00 +0000 | michalz | (~michalz@185.246.207.203) |
| 2024-08-13 04:57:57 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-13 05:12:08 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 05:12:55 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-08-13 05:13:59 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-08-13 05:26:48 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-08-13 05:27:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-08-13 05:28:45 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2024-08-13 05:28:53 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-08-13 05:29:14 +0000 | euleritian | (~euleritia@dynamic-176-006-131-040.176.6.pool.telefonica.de) |
| 2024-08-13 05:30:07 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-08-13 05:40:46 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-08-13 05:44:23 +0000 | neuroevolutus | (~neuroevol@2603:8080:aa00:1a4d:7899:2249:538c:9622) |
| 2024-08-13 05:44:45 +0000 | xff0x | (~xff0x@om126253194070.31.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2024-08-13 05:46:10 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-13 05:51:57 +0000 | bcksl | (~bcksl@user/bcksl) (Quit: \) |
| 2024-08-13 05:51:58 +0000 | end | (~end@user/end/x-0094621) (Quit: end) |
| 2024-08-13 06:02:56 +0000 | bcksl | (~bcksl@user/bcksl) |
| 2024-08-13 06:08:24 +0000 | end | (~end@user/end/x-0094621) |
| 2024-08-13 06:17:30 +0000 | ubert | (~Thunderbi@178.165.184.113.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2024-08-13 06:19:48 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 06:23:36 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-08-13 06:24:18 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-13 06:25:36 +0000 | alexherbo2 | (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) |
| 2024-08-13 06:35:29 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-13 06:36:45 +0000 | hayk | (~hayk@37.252.90.243) |
| 2024-08-13 06:38:45 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 06:40:41 +0000 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-08-13 06:43:09 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-13 06:46:49 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-13 06:47:55 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-08-13 06:50:44 +0000 | itaipu | (~itaipu@168.121.98.149) (Ping timeout: 260 seconds) |
| 2024-08-13 06:54:48 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb360994ce1b4ff2bf62.dip0.t-ipconnect.de) |
| 2024-08-13 06:56:02 +0000 | euleritian | (~euleritia@dynamic-176-006-131-040.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-13 06:56:20 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-13 06:56:26 +0000 | xdminsy | (~xdminsy@117.147.71.180) |
| 2024-08-13 07:01:01 +0000 | Bynbo7 | (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2024-08-13 07:02:51 +0000 | Bynbo7 | (~Axman6@user/axman6) |
| 2024-08-13 07:06:05 +0000 | misterfish | (~misterfis@22.1-12-147.kabelnoord.net) |
| 2024-08-13 07:09:08 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-08-13 07:09:44 +0000 | euleritian | (~euleritia@dynamic-176-006-131-040.176.6.pool.telefonica.de) |
| 2024-08-13 07:11:10 +0000 | Bynbo7 | (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2024-08-13 07:12:08 +0000 | Bynbo7 | (~Axman6@user/axman6) |
| 2024-08-13 07:13:20 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 07:14:46 +0000 | Bynb76233 | (~Axman6@user/axman6) |
| 2024-08-13 07:14:58 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-08-13 07:16:46 +0000 | Bynbo7 | (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2024-08-13 07:17:28 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-13 07:18:17 +0000 | euleritian | (~euleritia@dynamic-176-006-131-040.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-13 07:18:36 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-13 07:19:09 +0000 | Bynb76233 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2024-08-13 07:21:36 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-08-13 07:31:28 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-08-13 07:31:50 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 07:33:28 +0000 | ft | (~ft@p4fc2aa15.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-08-13 07:33:57 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-08-13 07:33:59 +0000 | xff0x | (~xff0x@ai080132.d.east.v6connect.net) |
| 2024-08-13 07:36:09 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2024-08-13 07:37:54 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-13 07:43:45 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-08-13 07:49:41 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 07:53:39 +0000 | cayley57 | (~cayley5@user/phileasfogg) |
| 2024-08-13 07:54:19 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-13 07:55:39 +0000 | cayley5 | (~cayley5@user/phileasfogg) (Ping timeout: 260 seconds) |
| 2024-08-13 07:55:40 +0000 | cayley57 | cayley5 |
| 2024-08-13 07:57:45 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-13 07:58:00 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-13 07:58:19 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-08-13 08:01:46 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-08-13 08:02:08 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-08-13 08:18:40 +0000 | neuroevolutus | (~neuroevol@2603:8080:aa00:1a4d:7899:2249:538c:9622) (Quit: Client closed) |
| 2024-08-13 08:22:53 +0000 | Bynbo7 | (~Axman6@user/axman6) |
| 2024-08-13 08:24:59 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 08:27:09 +0000 | Bynbo7 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2024-08-13 08:29:59 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-08-13 08:31:08 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2024-08-13 08:45:53 +0000 | hayk | (~hayk@37.252.90.243) (Read error: Connection reset by peer) |
| 2024-08-13 08:46:12 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 08:46:45 +0000 | hayk | (~hayk@37.252.90.243) |
| 2024-08-13 08:47:49 +0000 | sprout_ | (~quassel@2a02-a448-3a80-0-5048-e2a1-1130-4d5c.fixed6.kpn.net) |
| 2024-08-13 08:48:13 +0000 | sprout | (~quassel@2a02-a448-3a80-0-bc7b-9708-368d-aec.fixed6.kpn.net) (Ping timeout: 258 seconds) |
| 2024-08-13 08:49:54 +0000 | chele | (~chele@user/chele) |
| 2024-08-13 08:50:29 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-13 08:58:38 +0000 | Bynbo7 | (~Axman6@user/axman6) |
| 2024-08-13 09:03:10 +0000 | Bynbo7 | (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2024-08-13 09:04:23 +0000 | sawilagar_ | (~sawilagar@user/sawilagar) |
| 2024-08-13 09:05:07 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 09:09:46 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2024-08-13 09:10:26 +0000 | <Athas> | What is the reason why expressions like 'f \x -> x' and 'x let a = b in c' are invalid syntax? |
| 2024-08-13 09:10:32 +0000 | <Athas> | Is it related to block layout? |
| 2024-08-13 09:11:46 +0000 | <danse-nr3> | as opposed to `f x = x` and `x = let a = b in c`? |
| 2024-08-13 09:12:02 +0000 | <c_wraith> | more as opposed to f $ \x -> x |
| 2024-08-13 09:12:06 +0000 | <c_wraith> | which is valid |
| 2024-08-13 09:12:13 +0000 | <danse-nr3> | i see |
| 2024-08-13 09:12:15 +0000 | <Athas> | Yes, it's about application. |
| 2024-08-13 09:12:34 +0000 | <danse-nr3> | f (\x -> x) |
| 2024-08-13 09:13:09 +0000 | <danse-nr3> | hm maybe because `\` can be an operator? |
| 2024-08-13 09:13:21 +0000 | <danse-nr3> | not sure |
| 2024-08-13 09:13:22 +0000 | <c_wraith> | nah, \ is reserved by itself |
| 2024-08-13 09:13:31 +0000 | <danse-nr3> | % :t (\) |
| 2024-08-13 09:13:31 +0000 | <yahb2> | <interactive>:1:3: error: parse error on input ‘)’ |
| 2024-08-13 09:13:34 +0000 | <c_wraith> | I don't know that there's any particular reason for it, as GHC has an extension to allow it |
| 2024-08-13 09:13:34 +0000 | <danse-nr3> | right |
| 2024-08-13 09:14:19 +0000 | <c_wraith> | I guess there's some potential ambiguity regarding nesting |
| 2024-08-13 09:14:24 +0000 | <c_wraith> | > do 1 + do 2 |
| 2024-08-13 09:14:26 +0000 | <lambdabot> | 3 |
| 2024-08-13 09:14:43 +0000 | <c_wraith> | > (+) do 1 do 2 -- how does this get parsed, anyway? |
| 2024-08-13 09:14:45 +0000 | <lambdabot> | error: |
| 2024-08-13 09:14:45 +0000 | <lambdabot> | Unexpected do block in function application: |
| 2024-08-13 09:14:45 +0000 | <lambdabot> | do 1 do 2 |
| 2024-08-13 09:15:11 +0000 | <Athas> | Looking at the Haskell report, the reason is that there is a distinct 'fexp' nonterminal for applications. But what purpose does it serve? |
| 2024-08-13 09:15:52 +0000 | <c_wraith> | well, it avoids that ambiguity |
| 2024-08-13 09:15:53 +0000 | <probie> | > (+1) do (*2) do 3 |
| 2024-08-13 09:15:55 +0000 | <lambdabot> | error: |
| 2024-08-13 09:15:55 +0000 | <lambdabot> | Unexpected do block in function application: |
| 2024-08-13 09:15:55 +0000 | <lambdabot> | do (* 2) do 3 |
| 2024-08-13 09:16:14 +0000 | <probie> | %:set -XBlockArguments |
| 2024-08-13 09:16:25 +0000 | <probie> | % :set -XBlockArguments |
| 2024-08-13 09:16:25 +0000 | <yahb2> | <no output> |
| 2024-08-13 09:16:34 +0000 | <c_wraith> | But honestly, just spitting out an error message if there's actual ambiguity instead of forbidding the grammar level is... just as good |
| 2024-08-13 09:16:36 +0000 | <probie> | % (+1) do (*2) do 3 |
| 2024-08-13 09:16:36 +0000 | <yahb2> | 7 |
| 2024-08-13 09:17:18 +0000 | <probie> | % (+) do 1 do 2 -- I think this should be a type error (well, no instance for `Num`) |
| 2024-08-13 09:17:18 +0000 | <yahb2> | <interactive>:107:1: error: ; • Could not deduce (Num t0) ; from the context: (Num a, Num t, Num (t -> a)) ; bound by the inferred type for ‘it’: ; forall {a} {... |
| 2024-08-13 09:17:36 +0000 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-13 09:17:57 +0000 | <probie> | % 3 * do 5 + 2 |
| 2024-08-13 09:17:57 +0000 | <yahb2> | 21 |
| 2024-08-13 09:18:39 +0000 | <c_wraith> | well that's weird |
| 2024-08-13 09:19:43 +0000 | <probie> | You can use it like `$` for replacing parens, only it's useful in more place |
| 2024-08-13 09:24:14 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 09:25:12 +0000 | <danse-nr3> | `do` rather than `$`? Fun, hadn't realised |
| 2024-08-13 09:28:22 +0000 | ubert | (~Thunderbi@2001:871:263:b6be:571d:68d5:9d34:3ba7) |
| 2024-08-13 09:28:27 +0000 | <danse-nr3> | % ('a':) do ('b':) do ('c':) do "d" |
| 2024-08-13 09:28:27 +0000 | <yahb2> | "abcd" |
| 2024-08-13 09:28:33 +0000 | <danse-nr3> | :P |
| 2024-08-13 09:29:01 +0000 | <danse-nr3> | well stupid example, i just wanted to try that out |
| 2024-08-13 09:30:26 +0000 | <danse-nr3> | % :t fmap do \x -> x |
| 2024-08-13 09:30:26 +0000 | <yahb2> | fmap do \x -> x :: Functor f => f b -> f b |
| 2024-08-13 09:30:51 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-13 09:32:10 +0000 | <danse-nr3> | i think i'll try that more, hoping it won't upset my colleagues :P |
| 2024-08-13 09:35:48 +0000 | <probie> | one of my former coworkers was a big fan of `x .~ someLens & do some long thing here` |
| 2024-08-13 09:36:10 +0000 | <danse-nr3> | & do == & $? |
| 2024-08-13 09:37:12 +0000 | <probie> | except you can't write `& $` |
| 2024-08-13 09:37:18 +0000 | <danse-nr3> | hmm |
| 2024-08-13 09:37:34 +0000 | <danse-nr3> | i mean i even dislike &s and $s in the same line |
| 2024-08-13 09:38:20 +0000 | <danse-nr3> | find that awkward to read |
| 2024-08-13 09:50:13 +0000 | Bynbo7 | (~Axman6@user/axman6) |
| 2024-08-13 09:54:37 +0000 | Bynbo7 | (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2024-08-13 09:59:48 +0000 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 2024-08-13 10:01:06 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-08-13 10:01:23 +0000 | Square3 | (~Square4@user/square) |
| 2024-08-13 10:01:58 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-13 10:20:32 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 10:21:35 +0000 | sprout_ | sprout |
| 2024-08-13 10:24:59 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-13 10:32:19 +0000 | hayk | (~hayk@37.252.90.243) (Remote host closed the connection) |
| 2024-08-13 10:32:33 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-13 10:33:07 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb360994ce1b4ff2bf62.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-08-13 10:39:02 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 10:39:04 +0000 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-13 10:44:08 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 2024-08-13 10:45:19 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-08-13 10:52:27 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-08-13 10:52:58 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-13 10:53:42 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-08-13 10:54:53 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-13 10:55:17 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2024-08-13 10:57:28 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-13 11:03:50 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 11:07:04 +0000 | sawilagar_ | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-08-13 11:07:25 +0000 | sawilagar_ | (~sawilagar@user/sawilagar) |
| 2024-08-13 11:08:05 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-13 11:08:25 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-13 11:09:09 +0000 | tv | (~tv@user/tv) (Quit: derp) |
| 2024-08-13 11:09:34 +0000 | tv | (~tv@user/tv) |
| 2024-08-13 11:17:54 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-08-13 11:19:47 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-13 11:20:14 +0000 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 260 seconds) |
| 2024-08-13 11:20:17 +0000 | ubert | (~Thunderbi@2001:871:263:b6be:571d:68d5:9d34:3ba7) (Ping timeout: 248 seconds) |
| 2024-08-13 11:26:24 +0000 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2024-08-13 11:29:34 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-08-13 11:31:06 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-13 11:38:15 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 11:40:43 +0000 | FragByte | (~christian@user/fragbyte) (Ping timeout: 252 seconds) |
| 2024-08-13 11:41:13 +0000 | FragByte | (~christian@user/fragbyte) |
| 2024-08-13 11:43:02 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2024-08-13 11:51:22 +0000 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 11:56:35 +0000 | Guest5 | (~Guest5@98.97.78.186) (Ping timeout: 256 seconds) |
| 2024-08-13 11:57:08 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 11:59:13 +0000 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 12:01:25 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2024-08-13 12:05:40 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-08-13 12:07:47 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-13 12:07:53 +0000 | sawilagar_ | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-08-13 12:08:17 +0000 | sawilagar_ | (~sawilagar@user/sawilagar) |
| 2024-08-13 12:08:22 +0000 | Guest5 | (~Guest5@98.97.78.186) (Quit: Client closed) |
| 2024-08-13 12:09:12 +0000 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 12:11:35 +0000 | ZharMeny | (~user@user/ZharMeny) (Quit: ,,,) |
| 2024-08-13 12:13:53 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-13 12:14:09 +0000 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2024-08-13 12:14:42 +0000 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-13 12:16:29 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb360994ce1b4ff2bf62.dip0.t-ipconnect.de) |
| 2024-08-13 12:22:39 +0000 | Guest5 | (~Guest5@98.97.78.186) (Ping timeout: 256 seconds) |
| 2024-08-13 12:23:15 +0000 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 12:35:09 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 258 seconds) |
| 2024-08-13 12:35:38 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-08-13 12:45:21 +0000 | califax_ | (~califax@user/califx) |
| 2024-08-13 12:46:31 +0000 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-08-13 12:46:35 +0000 | califax_ | califax |
| 2024-08-13 12:48:30 +0000 | Guest5 | (~Guest5@98.97.78.186) (Quit: Client closed) |
| 2024-08-13 12:49:20 +0000 | david_tvh | (~david_tvh@212.114.26.122) |
| 2024-08-13 12:49:58 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 12:51:49 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 260 seconds) |
| 2024-08-13 12:53:17 +0000 | tomku | (~tomku@user/tomku) |
| 2024-08-13 12:55:17 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-13 12:55:30 +0000 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 13:05:22 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-08-13 13:06:06 +0000 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) |
| 2024-08-13 13:06:25 +0000 | td_ | (~td@i53870936.versanet.de) (Quit: waking up from the american dream ...) |
| 2024-08-13 13:17:01 +0000 | td_ | (~td@i53870936.versanet.de) |
| 2024-08-13 13:18:35 +0000 | itaipu | (~itaipu@168.121.98.107) |
| 2024-08-13 13:25:16 +0000 | itaipu | (~itaipu@168.121.98.107) (Remote host closed the connection) |
| 2024-08-13 13:26:23 +0000 | itaipu | (~itaipu@168.121.98.107) |
| 2024-08-13 13:27:36 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 13:34:11 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2024-08-13 13:37:59 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 13:43:51 +0000 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-13 13:44:09 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-13 13:46:02 +0000 | ubert | (~Thunderbi@2001:871:263:b6be:3702:9188:4c8:5076) |
| 2024-08-13 13:46:39 +0000 | Guest5 | (~Guest5@98.97.78.186) (Quit: Client closed) |
| 2024-08-13 13:47:20 +0000 | alexherbo2 | (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-13 13:47:39 +0000 | alexherbo2 | (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) |
| 2024-08-13 13:49:19 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 2024-08-13 13:55:51 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-08-13 13:58:50 +0000 | itaipu | (~itaipu@168.121.98.107) (Read error: Connection reset by peer) |
| 2024-08-13 14:00:28 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 2024-08-13 14:01:13 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-08-13 14:08:36 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-08-13 14:15:12 +0000 | itaipu | (~itaipu@168.121.98.107) |
| 2024-08-13 14:18:58 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-13 14:19:29 +0000 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 14:20:31 +0000 | ulysses4ever | (~artem@2601:249:4300:5920:4e33:c7df:163c:6fbb) |
| 2024-08-13 14:21:06 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-08-13 14:33:53 +0000 | Guest5 | (~Guest5@98.97.78.186) (Quit: Client closed) |
| 2024-08-13 14:35:37 +0000 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 14:43:54 +0000 | AlexNoo | (~AlexNoo@178.34.160.210) (Read error: Connection reset by peer) |
| 2024-08-13 14:44:16 +0000 | AlexNoo | (~AlexNoo@178.34.160.210) |
| 2024-08-13 14:49:09 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 14:49:17 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-13 14:55:23 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-13 14:58:49 +0000 | ubert | (~Thunderbi@2001:871:263:b6be:3702:9188:4c8:5076) (Quit: ubert) |
| 2024-08-13 15:09:29 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-08-13 15:11:45 +0000 | mxs9 | (~mxs@user/mxs) |
| 2024-08-13 15:13:28 +0000 | mxs9 | mxs |
| 2024-08-13 15:18:19 +0000 | Guest5 | (~Guest5@98.97.78.186) (Ping timeout: 256 seconds) |
| 2024-08-13 15:25:14 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-13 15:29:31 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-13 15:29:31 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-13 15:30:12 +0000 | cpressey | (~weechat@176.254.71.203) |
| 2024-08-13 15:30:44 +0000 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye) |
| 2024-08-13 15:31:00 +0000 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 2024-08-13 15:36:13 +0000 | terrorjack4 | (~terrorjac@static.163.82.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-13 15:36:33 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:c682:940b:f5c:17fc) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-13 15:36:50 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:a72e:72ce:de20:7681) |
| 2024-08-13 15:38:27 +0000 | terrorjack4 | (~terrorjac@2a01:4f8:121:32e8::) |
| 2024-08-13 15:40:17 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-13 15:40:46 +0000 | ft | (~ft@p4fc2aa15.dip0.t-ipconnect.de) |
| 2024-08-13 15:40:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-08-13 15:47:35 +0000 | <Leary> | Athas: Haskell design error. BlockArguments has the fix, so "set and forget". |
| 2024-08-13 15:49:19 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-08-13 15:50:52 +0000 | segfaultfizzbuzz | (~segfaultf@135-180-137-170.fiber.static.sonic.net) |
| 2024-08-13 15:53:48 +0000 | alexherbo2 | (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-13 15:54:08 +0000 | alexherbo2 | (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) |
| 2024-08-13 15:54:16 +0000 | <mauke> | % do do do do do do do do do "baby shark" |
| 2024-08-13 15:54:16 +0000 | <yahb2> | "baby shark" |
| 2024-08-13 15:56:14 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-08-13 15:56:39 +0000 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 15:56:46 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-08-13 15:58:51 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-08-13 15:59:04 +0000 | tomku | (~tomku@user/tomku) |
| 2024-08-13 16:04:29 +0000 | misterfish | (~misterfis@22.1-12-147.kabelnoord.net) (Ping timeout: 255 seconds) |
| 2024-08-13 16:04:39 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 252 seconds) |
| 2024-08-13 16:05:35 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-13 16:05:40 +0000 | alexherbo2 | (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-13 16:06:51 +0000 | alexherbo2 | (~alexherbo@2a02-8440-321d-9a27-21aa-75f1-60e2-af2d.rev.sfr.net) |
| 2024-08-13 16:08:09 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-13 16:08:18 +0000 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) |
| 2024-08-13 16:08:39 +0000 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-13 16:08:56 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-13 16:10:23 +0000 | alexherbo2 | (~alexherbo@2a02-8440-321d-9a27-21aa-75f1-60e2-af2d.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-13 16:11:19 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-13 16:12:38 +0000 | <haskellbridge> | <thirdofmay18081814goya> how would you compose "\x -> ((+3), x + 1)" and "\x -> (7, x * 2)" to get "\x -> ((+3) 7, (+1) (*2) x)"? |
| 2024-08-13 16:13:06 +0000 | segfaultfizzbuzz | (~segfaultf@135-180-137-170.fiber.static.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-13 16:14:24 +0000 | <EvanR> | the second component is a number not a function so good luck with that |
| 2024-08-13 16:16:01 +0000 | <mauke> | :t \f g x -> let (a, b) = g x; (c, d) = f b in (c a, d) |
| 2024-08-13 16:16:02 +0000 | <lambdabot> | (t1 -> (t2 -> a, b)) -> (t3 -> (t2, t1)) -> t3 -> (a, b) |
| 2024-08-13 16:16:19 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-08-13 16:16:25 +0000 | <mauke> | @pl \f g x -> let (a, b) = g x; (c, d) = f b in (c a, d) |
| 2024-08-13 16:16:25 +0000 | <lambdabot> | (line 1, column 15): |
| 2024-08-13 16:16:25 +0000 | <lambdabot> | unexpected "(" |
| 2024-08-13 16:16:25 +0000 | <lambdabot> | expecting "()", natural, identifier or "in" |
| 2024-08-13 16:17:44 +0000 | <haskellbridge> | <thirdofmay18081814goya> mauke: ah I see the strategy, thanks a lot!! |
| 2024-08-13 16:17:59 +0000 | <mauke> | :t \f g x -> let y = g x; z = f (snd y) in (fst z (fst y), snd z) |
| 2024-08-13 16:18:00 +0000 | <lambdabot> | (b1 -> (t1 -> a, b2)) -> (t2 -> (t1, b1)) -> t2 -> (a, b2) |
| 2024-08-13 16:18:04 +0000 | <mauke> | @pl \f g x -> let y = g x; z = f (snd y) in (fst z (fst y), snd z) |
| 2024-08-13 16:18:04 +0000 | <lambdabot> | (.) . ap ((`ap` snd) . ((,) .) . flip fst . fst) . (. snd) |
| 2024-08-13 16:18:18 +0000 | <mauke> | @pl \x -> let y = g x; z = f (snd y) in (fst z (fst y), snd z) |
| 2024-08-13 16:18:19 +0000 | <lambdabot> | ap ((`ap` snd) . ((,) .) . flip fst . fst) (f . snd) . fix . const . g |
| 2024-08-13 16:18:30 +0000 | <mauke> | wow, that's terrible |
| 2024-08-13 16:18:34 +0000 | leah2 | (~leah@vuxu.org) |
| 2024-08-13 16:19:03 +0000 | <haskellbridge> | <thirdofmay18081814goya> yeah but I didn't realize I was actually looking for pattern matching with "let", thanks |
| 2024-08-13 16:19:20 +0000 | <mauke> | you can also use case/of |
| 2024-08-13 16:20:13 +0000 | <mauke> | :t flip fst |
| 2024-08-13 16:20:14 +0000 | <lambdabot> | b1 -> (b1 -> c, b2) -> c |
| 2024-08-13 16:20:58 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-08-13 16:22:01 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-08-13 16:22:01 +0000 | ChanServ | +v haskellbridge |
| 2024-08-13 16:29:04 +0000 | beaky_ | beaky |
| 2024-08-13 16:31:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-13 16:33:27 +0000 | cpressey | (~weechat@176.254.71.203) (Quit: WeeChat 4.3.0) |
| 2024-08-13 16:39:34 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-13 16:40:41 +0000 | danza | (~danza@user/danza) |
| 2024-08-13 16:40:55 +0000 | terrorjack4 | (~terrorjac@2a01:4f8:121:32e8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-13 16:41:04 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 260 seconds) |
| 2024-08-13 16:41:21 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 244 seconds) |
| 2024-08-13 16:42:55 +0000 | terrorjack4 | (~terrorjac@static.163.82.63.178.clients.your-server.de) |
| 2024-08-13 16:43:42 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-08-13 16:45:03 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-13 16:54:20 +0000 | leah2 | (~leah@vuxu.org) |
| 2024-08-13 17:00:48 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 258 seconds) |
| 2024-08-13 17:03:51 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-08-13 17:10:16 +0000 | thyriaen | (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) |
| 2024-08-13 17:11:42 +0000 | Square | (~Square@user/square) |
| 2024-08-13 17:18:32 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-13 17:18:33 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-13 17:19:47 +0000 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) |
| 2024-08-13 17:22:49 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-08-13 17:23:55 +0000 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-08-13 17:24:42 +0000 | euleritian | (~euleritia@dynamic-176-001-220-179.176.1.pool.telefonica.de) |
| 2024-08-13 17:24:51 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-08-13 17:28:19 +0000 | danza | (~danza@user/danza) (Ping timeout: 252 seconds) |
| 2024-08-13 17:31:53 +0000 | euleritian | (~euleritia@dynamic-176-001-220-179.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-13 17:32:09 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-13 17:32:51 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2024-08-13 17:33:33 +0000 | xdminsy | (~xdminsy@117.147.71.180) (Quit: Konversation terminated!) |
| 2024-08-13 17:35:32 +0000 | Guest5 | (~Guest5@98.97.78.186) (Quit: Client closed) |
| 2024-08-13 17:36:29 +0000 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 17:42:53 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-08-13 17:51:46 +0000 | comonad | (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-08-13 18:07:51 +0000 | comonad | (~comonad@p54a0334b.dip0.t-ipconnect.de) |
| 2024-08-13 18:08:55 +0000 | bsima- | bsima |
| 2024-08-13 18:12:14 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-08-13 18:14:33 +0000 | euandreh | (~Thunderbi@189.6.18.26) |
| 2024-08-13 18:18:56 +0000 | euandreh | (~Thunderbi@189.6.18.26) (Ping timeout: 252 seconds) |
| 2024-08-13 18:19:23 +0000 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 258 seconds) |
| 2024-08-13 18:22:09 +0000 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-08-13 18:23:37 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-13 18:23:59 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-13 18:24:16 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-13 18:31:35 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-13 18:32:03 +0000 | euandreh | (~Thunderbi@189.6.18.26) |
| 2024-08-13 18:40:18 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-13 18:42:45 +0000 | comonad | (~comonad@p54a0334b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-08-13 18:44:28 +0000 | dyniec | (~dyniec@dybiec.info) |
| 2024-08-13 18:52:44 +0000 | comonad | (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) |
| 2024-08-13 18:53:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-08-13 18:54:18 +0000 | neuroevolutus | (~neuroevol@206.217.206.95) |
| 2024-08-13 18:55:32 +0000 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-08-13 19:05:33 +0000 | neuroevolutus | (~neuroevol@206.217.206.95) (Ping timeout: 256 seconds) |
| 2024-08-13 19:06:48 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-08-13 19:08:49 +0000 | kmein | (~weechat@user/kmein) (Ping timeout: 260 seconds) |
| 2024-08-13 19:11:26 +0000 | kmein | (~weechat@user/kmein) |
| 2024-08-13 19:19:43 +0000 | spew | (~spew@201.141.102.132) |
| 2024-08-13 19:19:57 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2024-08-13 19:20:18 +0000 | kmein | (~weechat@user/kmein) |
| 2024-08-13 19:20:50 +0000 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-08-13 19:21:47 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-13 19:22:04 +0000 | kmein | (~weechat@user/kmein) (Client Quit) |
| 2024-08-13 19:22:25 +0000 | kmein | (~weechat@user/kmein) |
| 2024-08-13 19:24:23 +0000 | kmein | (~weechat@user/kmein) (Client Quit) |
| 2024-08-13 19:24:40 +0000 | kmein | (~weechat@user/kmein) |
| 2024-08-13 19:25:57 +0000 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-13 19:37:59 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.3.3) |
| 2024-08-13 19:39:41 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2024-08-13 19:46:32 +0000 | neuroevolutus | (~neuroevol@37.19.200.135) |
| 2024-08-13 20:00:11 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-13 20:05:57 +0000 | Guest5 | (~Guest5@98.97.78.186) (Quit: Client closed) |
| 2024-08-13 20:06:44 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-13 20:13:06 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-13 20:20:59 +0000 | euandreh | (~Thunderbi@189.6.18.26) (Ping timeout: 260 seconds) |
| 2024-08-13 20:21:31 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-13 20:23:23 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-13 20:26:44 +0000 | artem | (~artem@2601:408:c402:b630:e78d:31a5:df6b:257a) |
| 2024-08-13 20:27:43 +0000 | sawilagar_ | (~sawilagar@user/sawilagar) (Ping timeout: 264 seconds) |
| 2024-08-13 20:28:41 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 20:30:06 +0000 | ulysses4ever | (~artem@2601:249:4300:5920:4e33:c7df:163c:6fbb) (Ping timeout: 258 seconds) |
| 2024-08-13 20:30:19 +0000 | ulysses4ever | (~artem@2601:408:c402:b630:c943:1acc:74a:e293) |
| 2024-08-13 20:31:17 +0000 | artem | (~artem@2601:408:c402:b630:e78d:31a5:df6b:257a) (Ping timeout: 248 seconds) |
| 2024-08-13 20:35:48 +0000 | artem | (~artem@2601:408:c402:b630:2d8f:3a4e:3939:f11) |
| 2024-08-13 20:36:02 +0000 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2024-08-13 20:37:00 +0000 | ulysses4ever | (~artem@2601:408:c402:b630:c943:1acc:74a:e293) (Ping timeout: 258 seconds) |
| 2024-08-13 20:38:13 +0000 | dudek | (~dudek@2a02:a312:c93f:6880:8028:6f10:6aa2:c8ef) |
| 2024-08-13 20:38:16 +0000 | dudek1337 | (~dudek@2a02:a312:c93f:6880:8028:6f10:6aa2:c8ef) |
| 2024-08-13 20:38:22 +0000 | dudek1337 | (~dudek@2a02:a312:c93f:6880:8028:6f10:6aa2:c8ef) (Client Quit) |
| 2024-08-13 20:43:51 +0000 | neuroevolutus | (~neuroevol@37.19.200.135) (Quit: Client closed) |
| 2024-08-13 20:49:10 +0000 | neuroevolutus | (~neuroevol@37.19.200.148) |
| 2024-08-13 20:51:20 +0000 | Square3 | (~Square4@user/square) |
| 2024-08-13 20:51:25 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2024-08-13 20:54:41 +0000 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2024-08-13 20:56:58 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-08-13 20:58:24 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-08-13 20:59:03 +0000 | EvanR | (~EvanR@user/evanr) |
| 2024-08-13 21:03:20 +0000 | mrmr1553343463 | (~mrmr@user/mrmr) (Quit: Ping timeout (120 seconds)) |
| 2024-08-13 21:03:40 +0000 | mrmr1553343463 | (~mrmr@user/mrmr) |
| 2024-08-13 21:05:48 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 245 seconds) |
| 2024-08-13 21:05:51 +0000 | malte | (~malte@mal.tc) (Read error: Connection reset by peer) |
| 2024-08-13 21:06:06 +0000 | malte | (~malte@mal.tc) |
| 2024-08-13 21:06:07 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-08-13 21:06:21 +0000 | Yumemi | (~Yumemi@chamoin.net) (Quit: .) |
| 2024-08-13 21:06:29 +0000 | teesquare | (~teesquare@user/teesquare) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-08-13 21:06:43 +0000 | teesquare | (~teesquare@user/teesquare) |
| 2024-08-13 21:06:48 +0000 | piele | (~piele@tbonesteak.creativeserver.net) (Remote host closed the connection) |
| 2024-08-13 21:06:51 +0000 | Yumemi | (~Yumemi@2001:bc8:47a0:1b14::1) |
| 2024-08-13 21:07:03 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Ping timeout: 245 seconds) |
| 2024-08-13 21:07:26 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) |
| 2024-08-13 21:07:26 +0000 | ChanServ | +v yahb2 |
| 2024-08-13 21:07:53 +0000 | liskin | (~liskin@xmonad/liskin) (Ping timeout: 245 seconds) |
| 2024-08-13 21:08:01 +0000 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2024-08-13 21:12:25 +0000 | thyriaen | (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 2024-08-13 21:12:54 +0000 | artem | (~artem@2601:408:c402:b630:2d8f:3a4e:3939:f11) (Ping timeout: 260 seconds) |
| 2024-08-13 21:14:10 +0000 | liskin | (~liskin@xmonad/liskin) |
| 2024-08-13 21:21:25 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-08-13 21:25:29 +0000 | dudek | (~dudek@2a02:a312:c93f:6880:8028:6f10:6aa2:c8ef) (Quit: Leaving) |
| 2024-08-13 21:39:07 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2024-08-13 21:48:04 +0000 | comonad | (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-08-13 21:58:14 +0000 | comonad | (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) |
| 2024-08-13 22:06:17 +0000 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 255 seconds) |
| 2024-08-13 22:07:22 +0000 | mrmr1553343463 | (~mrmr@user/mrmr) (Ping timeout: 252 seconds) |
| 2024-08-13 22:08:23 +0000 | krei-se | (~krei-se@p57af2d39.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-08-13 22:08:49 +0000 | krei-se | (~krei-se@p57af2d39.dip0.t-ipconnect.de) |
| 2024-08-13 22:13:26 +0000 | mrmr15533434631 | (~mrmr@user/mrmr) |
| 2024-08-13 22:14:07 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-08-13 22:28:53 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Quit: mesaoptimizer) |
| 2024-08-13 22:29:03 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-08-13 22:30:45 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-13 22:32:00 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-08-13 22:35:59 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-13 22:37:33 +0000 | krei-se | (~krei-se@p57af2d39.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-08-13 22:39:31 +0000 | krei-se | (~krei-se@p57af2d39.dip0.t-ipconnect.de) |
| 2024-08-13 22:41:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2024-08-13 22:49:44 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Remote host closed the connection) |
| 2024-08-13 22:53:09 +0000 | edwardk | (sid47016@haskell/developer/edwardk) (Ping timeout: 248 seconds) |
| 2024-08-13 22:53:19 +0000 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 245 seconds) |
| 2024-08-13 22:53:20 +0000 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2024-08-13 22:53:41 +0000 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) (Ping timeout: 248 seconds) |
| 2024-08-13 22:53:41 +0000 | hook54321 | (sid149355@user/hook54321) (Ping timeout: 248 seconds) |
| 2024-08-13 22:53:43 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (Ping timeout: 245 seconds) |
| 2024-08-13 22:53:43 +0000 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 245 seconds) |
| 2024-08-13 22:53:51 +0000 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) |
| 2024-08-13 22:53:55 +0000 | tritlo_ | (sid58727@id-58727.hampstead.irccloud.com) (Ping timeout: 252 seconds) |
| 2024-08-13 22:54:07 +0000 | jackdk | (sid373013@cssa/jackdk) (Ping timeout: 264 seconds) |
| 2024-08-13 22:54:08 +0000 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) (Ping timeout: 245 seconds) |
| 2024-08-13 22:54:17 +0000 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) (Ping timeout: 252 seconds) |
| 2024-08-13 22:54:22 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Ping timeout: 272 seconds) |
| 2024-08-13 22:54:22 +0000 | snek | (sid280155@id-280155.lymington.irccloud.com) (Ping timeout: 272 seconds) |
| 2024-08-13 22:54:23 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 244 seconds) |
| 2024-08-13 22:54:23 +0000 | mustafa | (sid502723@rockylinux/releng/mustafa) (Ping timeout: 244 seconds) |
| 2024-08-13 22:54:24 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-08-13 22:54:33 +0000 | bjs | (sid190364@user/bjs) (Ping timeout: 245 seconds) |
| 2024-08-13 22:54:33 +0000 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 245 seconds) |
| 2024-08-13 22:54:39 +0000 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (Ping timeout: 252 seconds) |
| 2024-08-13 22:54:43 +0000 | Kamuela | (sid111576@2a03:5180:f::1:b3d8) (Ping timeout: 265 seconds) |
| 2024-08-13 22:54:43 +0000 | caasih | (sid13241@2a03:5180:f:3::33b9) (Ping timeout: 265 seconds) |
| 2024-08-13 22:54:54 +0000 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 244 seconds) |
| 2024-08-13 22:54:54 +0000 | buhman | (sid411355@user/buhman) (Ping timeout: 244 seconds) |
| 2024-08-13 22:54:54 +0000 | Pent | (sid313808@id-313808.lymington.irccloud.com) (Ping timeout: 244 seconds) |
| 2024-08-13 22:54:54 +0000 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) (Ping timeout: 244 seconds) |
| 2024-08-13 22:54:58 +0000 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) (Ping timeout: 245 seconds) |
| 2024-08-13 22:54:59 +0000 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Ping timeout: 245 seconds) |
| 2024-08-13 22:55:00 +0000 | iphy | (sid67735@user/iphy) (Ping timeout: 272 seconds) |
| 2024-08-13 22:55:32 +0000 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2024-08-13 22:55:43 +0000 | degraafk | (sid71464@id-71464.lymington.irccloud.com) |
| 2024-08-13 22:55:53 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) |
| 2024-08-13 22:55:59 +0000 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) |
| 2024-08-13 22:56:03 +0000 | tritlo_ | (sid58727@id-58727.hampstead.irccloud.com) |
| 2024-08-13 22:56:11 +0000 | mustafa | (sid502723@rockylinux/releng/mustafa) |
| 2024-08-13 22:56:11 +0000 | buhman | (sid411355@user/buhman) |
| 2024-08-13 22:56:15 +0000 | Pent | (sid313808@id-313808.lymington.irccloud.com) |
| 2024-08-13 22:56:19 +0000 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) |
| 2024-08-13 22:56:23 +0000 | snek | (sid280155@id-280155.lymington.irccloud.com) |
| 2024-08-13 22:56:29 +0000 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) |
| 2024-08-13 22:56:38 +0000 | iphy | (sid67735@user/iphy) |
| 2024-08-13 22:56:51 +0000 | hook54321 | (sid149355@user/hook54321) |
| 2024-08-13 22:58:11 +0000 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) |
| 2024-08-13 22:58:15 +0000 | caasih | (sid13241@id-13241.ilkley.irccloud.com) |
| 2024-08-13 22:58:18 +0000 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) |
| 2024-08-13 22:58:19 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2024-08-13 22:58:20 +0000 | jackdk | (sid373013@cssa/jackdk) |
| 2024-08-13 22:58:21 +0000 | bjs | (sid190364@user/bjs) |
| 2024-08-13 22:58:22 +0000 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) |
| 2024-08-13 22:58:23 +0000 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
| 2024-08-13 22:58:36 +0000 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) |
| 2024-08-13 22:58:37 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
| 2024-08-13 23:02:33 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-13 23:05:23 +0000 | polux8 | (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 2024-08-13 23:05:26 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-08-13 23:07:11 +0000 | markasoftware_ | (~quassel@107.161.26.124) |
| 2024-08-13 23:07:32 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: Ping timeout (120 seconds)) |
| 2024-08-13 23:07:33 +0000 | polux8 | polux |
| 2024-08-13 23:07:33 +0000 | markasoftware | (~quassel@107.161.26.124) (Quit: No Ping reply in 180 seconds.) |
| 2024-08-13 23:07:56 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-08-13 23:10:21 +0000 | neuroevolutus | (~neuroevol@37.19.200.148) (Ping timeout: 256 seconds) |
| 2024-08-13 23:13:30 +0000 | Adeon | (sid418992@id-418992.lymington.irccloud.com) |
| 2024-08-13 23:14:08 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 245 seconds) |
| 2024-08-13 23:14:49 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 2024-08-13 23:27:57 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb360994ce1b4ff2bf62.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-08-13 23:30:03 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2024-08-13 23:43:56 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-08-13 23:49:14 +0000 | pavonia | (~user@user/siracusa) |
| 2024-08-13 23:49:18 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |