Newest at the top
| 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 |
| 2025-11-22 21:45:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 21:40:08 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-22 21:38:34 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 21:38:07 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-22 21:37:44 +0100 | <mauke> | type Lexicon = [Word] |
| 2025-11-22 21:35:39 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:863f:df64:5fc4:398c) |
| 2025-11-22 21:35:04 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:4399:e959:784c:f191) (Remote host closed the connection) |
| 2025-11-22 21:34:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 21:31:57 +0100 | <monochrom> | haha that's great |
| 2025-11-22 21:31:46 +0100 | <int-e> | monochrom: teach it with s/parsing/word processing/g? :P |
| 2025-11-22 21:30:56 +0100 | monochrom | is preparing to teach a compiler course in which we begin with tokenization aka lexical analysis! |
| 2025-11-22 21:30:55 +0100 | <EvanR> | data NonZero = PosMinusOne Natural | NegPlusOne Natural |
| 2025-11-22 21:30:27 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-11-22 21:30:14 +0100 | <monochrom> | type Lexicon = Word >:) |
| 2025-11-22 21:30:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |