Newest at the top
| 2025-11-22 23:32:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 23:22:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 23:17:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 23:15:47 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-22 23:15:47 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-22 23:15:25 +0100 | Square3 | (~Square@user/square) (Remote host closed the connection) |
| 2025-11-22 23:15:20 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:c47b:d446:60a0:f965) |
| 2025-11-22 23:15:18 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-11-22 23:14:45 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:1559:d36f:155b:68b3) (Remote host closed the connection) |
| 2025-11-22 23:12:39 +0100 | mhatta_ | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2025-11-22 23:06:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 23:02:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 22:57:38 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-22 22:55:48 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:1559:d36f:155b:68b3) |
| 2025-11-22 22:55:12 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:d95e:55e2:ae9e:ce68) (Remote host closed the connection) |
| 2025-11-22 22:51:17 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 250 seconds) |
| 2025-11-22 22:51:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 22:46:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 22:42:02 +0100 | trickard_ | trickard |
| 2025-11-22 22:40:38 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-22 22:37:54 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-22 22:35:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-22 22:35:22 +0100 | <haskellbridge> | <Zemyla> It'd be coeval :: b -> m (Either (Coexp m a b) a), where Coexp m a b = (b, a -> m Void). |
| 2025-11-22 22:35:16 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:d95e:55e2:ae9e:ce68) |
| 2025-11-22 22:34:40 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:5e1d:1d96:fe87:fe40) (Remote host closed the connection) |
| 2025-11-22 22:34:08 +0100 | <haskellbridge> | <Zemyla> Exponentials have an eval :: (exp a b, a) -> b function. Coexponentials would have coeval :: b -> Either (coexp a b. a), which doesn't exist in Hask. However, it does exist in Kleisli (Cont r). |
| 2025-11-22 22:32:48 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-11-22 22:32:30 +0100 | <haskellbridge> | <Zemyla> I'm thinking about coexponentials. |
| 2025-11-22 22:30:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 22:26:09 +0100 | rls129 | (~rls129@150.107.206.33) (Client Quit) |
| 2025-11-22 22:25:48 +0100 | rls129 | (~rls129@150.107.206.33) |
| 2025-11-22 22:20:50 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 22:20:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 22:16:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 22:15:15 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:5e1d:1d96:fe87:fe40) |
| 2025-11-22 22:14:38 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:a939:4003:9f33:7d40) (Remote host closed the connection) |
| 2025-11-22 22:08:15 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-11-22 22:07:12 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-22 22:05:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 22:00:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 21:55:41 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:a939:4003:9f33:7d40) |
| 2025-11-22 21:55:06 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:863f:df64:5fc4:398c) (Remote host closed the connection) |
| 2025-11-22 21:53:54 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 21:53:25 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
| 2025-11-22 21:51:05 +0100 | kimiamania99 | (~67ff9c12@user/kimiamania) kimiamania |
| 2025-11-22 21:50:42 +0100 | kimiamania99 | (~67ff9c12@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2025-11-22 21:50:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 21:50:07 +0100 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2025-11-22 21:47:18 +0100 | <monochrom> | heh |
| 2025-11-22 21:46:11 +0100 | <EvanR> | Dyslexicons transform and roll out |