Newest at the top
| 2025-12-27 17:13:15 +0100 | <ncf> | at least i don't think one can prove this "internally", as in write an instance Distributive g => Representable g |
| 2025-12-27 17:12:33 +0100 | <ncf> | edwardk: in Data.Distributive you wrote that "Categorically every Distributive functor is actually a right adjoint". do you have a proof of this somewhere? |
| 2025-12-27 17:11:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 17:05:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-27 17:05:00 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-27 17:03:28 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2025-12-27 16:59:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 16:48:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 16:42:29 +0100 | raym | (~ray@user/raym) (Quit: leaving) |
| 2025-12-27 16:41:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 16:31:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-27 16:30:15 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds) |
| 2025-12-27 16:26:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 16:24:18 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-12-27 16:22:13 +0100 | pabs3 | (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2025-12-27 16:15:15 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2025-12-27 16:10:19 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2025-12-27 16:03:07 +0100 | <haskellbridge> | <Liamzee> i guess FFI isn't that simple, ugh, but it's more cabal's fault |
| 2025-12-27 16:01:42 +0100 | <haskellbridge> | <Zemyla> It has most of the pros of the "no explicit arguments", including the fact that it's not a function which can matter for performance. But it doesn't require language extensions. |
| 2025-12-27 16:00:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-27 16:00:34 +0100 | <haskellbridge> | <Zemyla> metaData :: Const blah a (or Tagged a blah) |
| 2025-12-27 15:59:48 +0100 | <haskellbridge> | <Zemyla> I read this article, and Ryan forgot one option. https://ryanglscott.github.io/2019/02/06/proxy-arguments-in-class-methods/ |
| 2025-12-27 15:56:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 15:53:55 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-27 15:45:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-27 15:40:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 15:36:38 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-12-27 15:33:41 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-12-27 15:29:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 15:26:36 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-27 15:25:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 15:23:20 +0100 | divya | (divya@140.238.251.170) divya |
| 2025-12-27 15:22:42 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-27 15:20:29 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-12-27 15:17:57 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-27 15:14:31 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 240 seconds) |
| 2025-12-27 15:13:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-27 15:11:25 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 264 seconds) |
| 2025-12-27 15:10:24 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-27 15:09:07 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-12-27 15:09:06 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Client Quit) |
| 2025-12-27 15:08:53 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-27 15:07:36 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-27 15:03:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 15:03:12 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Client Quit) |
| 2025-12-27 15:02:02 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-27 14:54:23 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-12-27 14:52:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-27 14:47:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 14:46:49 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |