Newest at the top
| 2025-12-06 00:41:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-06 00:37:25 +0100 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 245 seconds) |
| 2025-12-06 00:34:56 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) Inline |
| 2025-12-06 00:33:38 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4ec:c6c9:2447:6676) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-06 00:30:48 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-12-06 00:30:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-06 00:29:17 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-06 00:28:35 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-12-06 00:26:02 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-06 00:25:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-06 00:25:01 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) (Read error: Connection reset by peer) |
| 2025-12-06 00:21:45 +0100 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2025-12-06 00:20:33 +0100 | Ging_ | (46fea76d80@2001:bc8:1210:2cd8::470) |
| 2025-12-06 00:18:52 +0100 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2025-12-06 00:14:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-06 00:09:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-06 00:04:17 +0100 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) (Remote host closed the connection) |
| 2025-12-06 00:04:17 +0100 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) (Remote host closed the connection) |
| 2025-12-06 00:04:17 +0100 | Ging_ | (46fea76d80@2001:bc8:1210:2cd8::470) (Remote host closed the connection) |
| 2025-12-05 23:58:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-05 23:58:50 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-05 23:58:01 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-12-05 23:57:38 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-12-05 23:56:49 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-12-05 23:56:07 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-05 23:53:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 23:42:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 23:36:36 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-05 23:35:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 23:32:22 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-12-05 23:26:27 +0100 | Wygulmage | (~Wygulmage@user/Wygulmage) (Ping timeout: 250 seconds) |
| 2025-12-05 23:25:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-05 23:21:06 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-05 23:20:35 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 240 seconds) |
| 2025-12-05 23:20:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 23:11:06 +0100 | <tomsmeding> | Wygulmage: what if you just add the Ord constraint on the LHS of the RULE? |
| 2025-12-05 23:10:31 +0100 | <tomsmeding> | [exa]: it rather sounds like they have `class C a where delete :: a -> a` (guessing some type for delete here) and an `instance Ord a => C (Set a) where delete = ...`, and they want to have a RULE that rewrites `delete :: Set a -> Set a` to some function with type `Ord a => Set a -> Set a` |
| 2025-12-05 23:09:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 23:08:13 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-05 23:06:45 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2025-12-05 23:06:34 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-05 23:06:01 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-05 23:05:17 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-05 23:05:08 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 265 seconds) |
| 2025-12-05 23:04:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 23:00:15 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-05 22:59:42 +0100 | <EvanR> | is there a typeclass instance that says "everything everywhere all at once" ? |
| 2025-12-05 22:58:22 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-05 22:58:22 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2025-12-05 22:58:13 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |