Newest at the top
| 2025-11-07 00:05:20 +0100 | Fijxu_ | (~Fijxu@user/fijxu) (Ping timeout: 245 seconds) |
| 2025-11-07 00:04:54 +0100 | Zemy_ | (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 256 seconds) |
| 2025-11-07 00:04:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-07 00:04:07 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-07 00:01:12 +0100 | Core4520 | (~Zemy@2600:100c:b021:2c99:e8ef:cdff:fefd:214c) (Ping timeout: 260 seconds) |
| 2025-11-07 00:00:58 +0100 | Zemy | (~Zemy@2600:100c:b021:2c99:a49a:c7ff:fe57:7568) |
| 2025-11-07 00:00:42 +0100 | Zemy | (~Zemy@2600:100c:b021:2c99:34f5:91ff:fe7f:6e5b) (Read error: Connection reset by peer) |
| 2025-11-07 00:00:39 +0100 | Zemy_ | (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-11-07 00:00:04 +0100 | Zemy | (~Zemy@2600:100c:b021:2c99:34f5:91ff:fe7f:6e5b) |
| 2025-11-06 23:59:56 +0100 | Zemy | (~Zemy@24-155-2-226.static.grandenetworks.net) (Read error: Connection reset by peer) |
| 2025-11-06 23:59:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 23:58:35 +0100 | Zemy | (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-11-06 23:56:40 +0100 | <Square2> | Definitely, it is alien for sure. |
| 2025-11-06 23:55:53 +0100 | <Square2> | it in* |
| 2025-11-06 23:55:42 +0100 | <Square2> | I never seen it examples. I thought I verify it's okey to use cause I will use it for a central feature. |
| 2025-11-06 23:55:36 +0100 | <geekosaur> | I can't think of any reason to avoid it as long as it's documented because it might be a bit confusing? |
| 2025-11-06 23:55:34 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2025-11-06 23:54:46 +0100 | <Lycurgus> | unless u suspect it is just a seeming |
| 2025-11-06 23:54:33 +0100 | <Square2> | was that for me? |
| 2025-11-06 23:54:13 +0100 | <Lycurgus> | then y do u care? |
| 2025-11-06 23:53:39 +0100 | <Square2> | Hey. Are type family instances defined as other type families encouraged? It seems to work really well. |
| 2025-11-06 23:52:08 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-11-06 23:51:01 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2025-11-06 23:48:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 23:47:25 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-11-06 23:45:17 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2025-11-06 23:44:43 +0100 | Zemy_ | (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 244 seconds) |
| 2025-11-06 23:44:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 23:42:51 +0100 | Zemy | (~Zemy@2600:100c:b021:2c99:ac43:c3ff:fe9f:ac80) (Read error: Connection reset by peer) |
| 2025-11-06 23:42:26 +0100 | Core4520 | (~Zemy@2600:100c:b021:2c99:e8ef:cdff:fefd:214c) |
| 2025-11-06 23:42:01 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-06 23:40:22 +0100 | Zemy_ | (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-11-06 23:38:57 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-11-06 23:38:49 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-06 23:38:35 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-06 23:35:48 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 23:34:49 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Ping timeout: 264 seconds) |
| 2025-11-06 23:33:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 23:30:05 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 23:29:52 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 23:28:45 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-06 23:28:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 23:23:50 +0100 | ubert | (~Thunderbi@178.165.186.48.wireless.dyn.drei.com) ubert |
| 2025-11-06 23:23:32 +0100 | ubert | (~Thunderbi@178.165.186.48.wireless.dyn.drei.com) (Quit: ubert) |
| 2025-11-06 23:18:56 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 2025-11-06 23:17:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 23:12:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 23:12:40 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-06 23:11:35 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 23:11:23 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 260 seconds) |