Logs: liberachat/#haskell
| 2025-11-06 21:21:52 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2025-11-06 21:22:08 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-06 21:26:46 | → | ystael joins (~ystael@user/ystael) |
| 2025-11-06 21:27:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 21:27:58 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-11-06 21:32:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 21:36:01 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-06 21:39:08 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-06 21:42:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 21:47:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 21:58:36 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-06 21:58:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 22:01:05 | <monochrom> | I tried. It's not meant to be! |
| 2025-11-06 22:03:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-06 22:07:53 | <dolio> | monochrom: You don't need let. You just need more pattern guards. |
| 2025-11-06 22:08:11 | <dolio> | Just r <- something, foo <- ... r ... = ... |
| 2025-11-06 22:08:44 | → | Zemy joins (~Zemy@2600:100c:b021:2c99:ac43:c3ff:fe9f:ac80) |
| 2025-11-06 22:11:23 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 260 seconds) |
| 2025-11-06 22:11:35 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-06 22:12:40 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-06 22:12:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 22:17:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 22:18:56 | × | Inline quits (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 2025-11-06 22:23:32 | × | ubert quits (~Thunderbi@178.165.186.48.wireless.dyn.drei.com) (Quit: ubert) |
| 2025-11-06 22:23:50 | → | ubert joins (~Thunderbi@178.165.186.48.wireless.dyn.drei.com) |
| 2025-11-06 22:28:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 22:28:45 | → | Inline joins (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) |
| 2025-11-06 22:29:52 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 22:30:05 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 22:33:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 22:34:49 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Ping timeout: 264 seconds) |
| 2025-11-06 22:35:48 | → | tromp joins (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 22:38:35 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-06 22:38:49 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-11-06 22:38:57 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-11-06 22:40:22 | → | Zemy_ joins (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-11-06 22:42:01 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-11-06 22:42:26 | → | Core4520 joins (~Zemy@2600:100c:b021:2c99:e8ef:cdff:fefd:214c) |
| 2025-11-06 22:42:51 | × | Zemy quits (~Zemy@2600:100c:b021:2c99:ac43:c3ff:fe9f:ac80) (Read error: Connection reset by peer) |
| 2025-11-06 22:44:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 22:44:43 | × | Zemy_ quits (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 244 seconds) |
| 2025-11-06 22:45:17 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 2025-11-06 22:47:25 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-11-06 22:48:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 22:51:01 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2025-11-06 22:52:08 | → | ystael joins (~ystael@user/ystael) |
| 2025-11-06 22:53:39 | <Square2> | Hey. Are type family instances defined as other type families encouraged? It seems to work really well. |
| 2025-11-06 22:54:13 | <Lycurgus> | then y do u care? |
| 2025-11-06 22:54:33 | <Square2> | was that for me? |
| 2025-11-06 22:54:46 | <Lycurgus> | unless u suspect it is just a seeming |
| 2025-11-06 22:55:34 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2025-11-06 22:55:36 | <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 22:55:42 | <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 22:55:53 | <Square2> | it in* |
| 2025-11-06 22:56:40 | <Square2> | Definitely, it is alien for sure. |
| 2025-11-06 22:58:35 | → | Zemy joins (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-11-06 22:59:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 22:59:56 | × | Zemy quits (~Zemy@24-155-2-226.static.grandenetworks.net) (Read error: Connection reset by peer) |
| 2025-11-06 23:00:04 | → | Zemy joins (~Zemy@2600:100c:b021:2c99:34f5:91ff:fe7f:6e5b) |
| 2025-11-06 23:00:39 | → | Zemy_ joins (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-11-06 23:00:42 | × | Zemy quits (~Zemy@2600:100c:b021:2c99:34f5:91ff:fe7f:6e5b) (Read error: Connection reset by peer) |
| 2025-11-06 23:00:58 | → | Zemy joins (~Zemy@2600:100c:b021:2c99:a49a:c7ff:fe57:7568) |
| 2025-11-06 23:01:12 | × | Core4520 quits (~Zemy@2600:100c:b021:2c99:e8ef:cdff:fefd:214c) (Ping timeout: 260 seconds) |
| 2025-11-06 23:04:07 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-06 23:04:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 23:04:54 | × | Zemy_ quits (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 256 seconds) |
| 2025-11-06 23:05:20 | × | Fijxu_ quits (~Fijxu@user/fijxu) (Ping timeout: 245 seconds) |
| 2025-11-06 23:08:46 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2025-11-06 23:13:08 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-06 23:13:09 | × | tcard_ quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2025-11-06 23:13:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 23:14:13 | → | Zemy_ joins (~Zemy@mobile-107-80-206-18.mycingular.net) |
| 2025-11-06 23:15:11 | × | Zemy quits (~Zemy@2600:100c:b021:2c99:a49a:c7ff:fe57:7568) (Read error: Connection reset by peer) |
| 2025-11-06 23:15:31 | → | Zemy joins (~Zemy@2600:100c:b021:2c99:3c31:bff:fe68:9247) |
| 2025-11-06 23:16:02 | <monochrom> | dolio: Haha I didn't think of that. |
| 2025-11-06 23:18:42 | × | Zemy_ quits (~Zemy@mobile-107-80-206-18.mycingular.net) (Ping timeout: 260 seconds) |
| 2025-11-06 23:20:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 23:30:23 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-11-06 23:30:49 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-11-06 23:31:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 23:33:52 | × | Zemy quits (~Zemy@2600:100c:b021:2c99:3c31:bff:fe68:9247) (Ping timeout: 260 seconds) |
| 2025-11-06 23:36:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 23:41:02 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-06 23:43:16 | Googulator99 | is now known as Googulator |
| 2025-11-06 23:43:23 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 23:43:59 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-06 23:47:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 23:49:06 | × | tromp quits (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 23:52:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-06 23:53:32 | → | tromp joins (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 23:57:56 | → | Square3 joins (~Square@user/square) |
| 2025-11-07 00:00:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-07 00:02:07 | × | Square2 quits (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2025-11-07 00:02:09 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-07 00:04:28 | × | tromp quits (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-07 00:05:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 00:11:07 | × | annamalai quits (~annamalai@157.32.112.75) (Ping timeout: 264 seconds) |
| 2025-11-07 00:14:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-07 00:19:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-07 00:19:35 | trickard_ | is now known as trickard |
All times are in UTC.