Newest at the top
| 2025-11-07 00:36:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-07 00:33:52 +0100 | Zemy | (~Zemy@2600:100c:b021:2c99:3c31:bff:fe68:9247) (Ping timeout: 260 seconds) |
| 2025-11-07 00:31:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 00:30:49 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-07 00:30:23 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-07 00:20:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-07 00:18:42 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-18.mycingular.net) (Ping timeout: 260 seconds) |
| 2025-11-07 00:16:02 +0100 | <monochrom> | dolio: Haha I didn't think of that. |
| 2025-11-07 00:15:31 +0100 | Zemy | (~Zemy@2600:100c:b021:2c99:3c31:bff:fe68:9247) |
| 2025-11-07 00:15:11 +0100 | Zemy | (~Zemy@2600:100c:b021:2c99:a49a:c7ff:fe57:7568) (Read error: Connection reset by peer) |
| 2025-11-07 00:14:13 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-18.mycingular.net) |
| 2025-11-07 00:13:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 00:13:09 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2025-11-07 00:13:08 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-07 00:08:46 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 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) |