Newest at the top
| 2025-11-23 00:15:21 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:7827:c6b0:e65c:559e) (Remote host closed the connection) |
| 2025-11-23 00:13:21 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-11-23 00:11:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-23 00:09:19 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-23 00:08:42 +0100 | bggd | (~bgg@2a01:e0a:819:1510:4ee8:95df:342d:f89b) (Remote host closed the connection) |
| 2025-11-23 00:06:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-23 00:03:32 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 2025-11-23 00:00:31 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-11-22 23:55:54 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:7827:c6b0:e65c:559e) |
| 2025-11-22 23:55:19 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:8822:f1c8:bfbe:4a80) (Remote host closed the connection) |
| 2025-11-22 23:55:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 23:54:22 +0100 | bggd | (~bgg@2a01:e0a:819:1510:4ee8:95df:342d:f89b) |
| 2025-11-22 23:53:09 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-22 23:50:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 23:50:04 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 23:43:16 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-22 23:39:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 23:39:22 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-11-22 23:39:06 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-11-22 23:38:47 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-22 23:37:30 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-22 23:35:52 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:8822:f1c8:bfbe:4a80) |
| 2025-11-22 23:35:16 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:c47b:d446:60a0:f965) (Remote host closed the connection) |
| 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 |