Newest at the top
| 2026-04-20 06:46:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 06:42:42 +0000 | <jackdk> | dibblego: how is that different from holding a profunctor with tuples? |
| 2026-04-20 06:41:04 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-20 06:36:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-20 06:32:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 06:32:07 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-20 06:25:51 +0000 | havochunter | (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) (Remote host closed the connection) |
| 2026-04-20 06:21:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-20 06:20:24 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-20 06:17:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 06:11:13 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-20 06:06:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-20 06:05:06 +0000 | Enrico63 | (~Enrico63@host-95-249-71-165.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-04-20 06:01:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 06:01:28 +0000 | archking1 | (~archking@wlan-napt-001.u-aizu.ac.jp) |
| 2026-04-20 05:54:20 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-20 05:50:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-20 05:46:49 +0000 | archking | (~archking@wlan-napt-001.u-aizu.ac.jp) (Client Quit) |
| 2026-04-20 05:46:23 +0000 | archking | (~archking@wlan-napt-001.u-aizu.ac.jp) |
| 2026-04-20 05:45:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 05:36:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-20 05:31:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 05:29:22 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-20 05:29:17 +0000 | <dibblego> | Does anything like this exist? class BiProfunctor p where dimapL :: (w -> w') -> (y' -> y) -> p w x y z -> p w' x y' z; dimapR :: (x -> x') -> (z' -> z) -> p w x y z -> p w x' y z' |
| 2026-04-20 05:29:09 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-20 05:29:07 +0000 | Enrico63 | (~Enrico63@host-95-249-71-165.retail.telecomitalia.it) Enrico63 |
| 2026-04-20 05:27:40 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-20 05:27:31 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-04-20 05:25:15 +0000 | Guest52 | (~Guest98@2804:584:21a1:1e00:2d2d:ec17:1a6:17b3) (Quit: Client closed) |
| 2026-04-20 05:24:13 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-04-20 05:22:25 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-20 05:21:44 +0000 | michalz | (~michalz@185.246.207.217) |
| 2026-04-20 05:20:40 +0000 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-20 05:20:18 +0000 | marinelli | (~weechat@brrr.fr) (Quit: marinelli) |
| 2026-04-20 05:20:06 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-20 05:12:39 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-04-20 05:10:37 +0000 | Guest98 | (~Guest98@2804:584:21a1:1e00:2d2d:ec17:1a6:17b3) (Ping timeout: 245 seconds) |
| 2026-04-20 05:09:56 +0000 | havochunter | (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) |
| 2026-04-20 05:06:58 +0000 | Guest52 | (~Guest98@2804:584:21a1:1e00:2d2d:ec17:1a6:17b3) |
| 2026-04-20 05:06:14 +0000 | Guest98 | (~Guest98@2804:584:21a1:1e00:2d2d:ec17:1a6:17b3) |
| 2026-04-20 05:05:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-20 05:00:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 04:59:53 +0000 | wickedjargon | (~user@184.69.139.242) (Remote host closed the connection) |
| 2026-04-20 04:48:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-20 04:40:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 04:39:02 +0000 | spew | (~spew@user/spew) spew |
| 2026-04-20 04:38:07 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-20 04:30:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-20 04:25:31 +0000 | alhazrod | (uid662262@user/alhazrod) (Quit: Connection closed for inactivity) |
| 2026-04-20 04:25:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |