Newest at the top
| 2024-09-08 04:09:43 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 264 seconds) |
| 2024-09-08 04:07:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-08 04:06:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-08 04:05:34 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-09-08 04:05:04 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-09-08 04:03:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-09-08 04:03:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 04:02:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-08 04:02:33 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-09-08 04:02:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-08 04:02:05 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-09-08 04:01:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 03:55:05 +0200 | lambdaRule | (~lambdaRul@node-1w7jr9phpv011s6crr0owcb3v.ipv6.telus.net) (Quit: Client closed) |
| 2024-09-08 03:53:52 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-08 03:50:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 03:49:24 +0200 | <geekosaur> | hello |
| 2024-09-08 03:45:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 03:45:14 +0200 | <morb> | hello |
| 2024-09-08 03:44:40 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 03:34:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 03:30:13 +0200 | zero | (~z@user/zero) |
| 2024-09-08 03:30:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 03:29:53 +0200 | yin | (~z@user/zero) (Ping timeout: 248 seconds) |
| 2024-09-08 03:29:04 +0200 | <EvanR> | ok it's the same thing |
| 2024-09-08 03:28:21 +0200 | <EvanR> | brain broke |
| 2024-09-08 03:28:12 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-09-08 03:28:06 +0200 | <lambdabot> | p1 -> p2 -> (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
| 2024-09-08 03:28:06 +0200 | <EvanR> | :t \x y f g -> (f .) . g |
| 2024-09-08 03:27:46 +0200 | <lambdabot> | (b -> c) -> (a1 -> a2 -> b) -> p1 -> p2 -> a1 -> a2 -> c |
| 2024-09-08 03:27:46 +0200 | <EvanR> | :t \f g x y -> (f .) . g |
| 2024-09-08 03:27:19 +0200 | <lambdabot> | (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
| 2024-09-08 03:27:19 +0200 | <EvanR> | :t (.).(.) |
| 2024-09-08 03:23:58 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2024-09-08 03:19:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 03:15:38 +0200 | <justsomeguy> | I'd like to look into writing that once I get out of the "can't code himself out of a wet paper bag" phase. |
| 2024-09-08 03:14:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 03:12:10 +0200 | <geekosaur> | the main work is already done, just need to hook it in to HLS |
| 2024-09-08 03:11:38 +0200 | <geekosaur> | someone would have to contribute a plugin based on the pointfree package |
| 2024-09-08 03:11:35 +0200 | <justsomeguy> | Hey, that rhymed! |
| 2024-09-08 03:11:04 +0200 | <justsomeguy> | I wonder if I can get that unpointfree in my IDE somehow. It's probably possible with the LSP. |
| 2024-09-08 03:10:59 +0200 | <EvanR> | \x y -> sequence (fmap x y) |
| 2024-09-08 03:10:33 +0200 | <geekosaur> | "too dotty" |
| 2024-09-08 03:10:30 +0200 | <lambdabot> | (\ x x0 -> f (g x x0)) |
| 2024-09-08 03:10:30 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 2024-09-08 03:10:30 +0200 | <EvanR> | @unpl (f .) . g |
| 2024-09-08 03:10:22 +0200 | <geekosaur> | that's past the point where I throw in the towel, yeh |
| 2024-09-08 03:10:11 +0200 | <EvanR> | gross |
| 2024-09-08 03:10:06 +0200 | <justsomeguy> | Yeah, there are things like (sequence .) . fmap in this book I'm reading. |
| 2024-09-08 03:09:58 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Quit: WeeChat 4.2.2) |
| 2024-09-08 03:09:30 +0200 | <EvanR> | if it's more complicated than f 0 x . g "ok" . h, I'm out |