~sircmpwn/hare-users

3 2

Re: Language Server

Details
Message ID
<2707931.mvXUDI8C0e@fedora-desktop>
DKIM signature
missing
Download raw message
Hi, are any of these language servers being worked on anymore?

Re: Language Server

Details
Message ID
<CXDW07I0TY7U.38EEV25UNAIIE@d2evs.net>
In-Reply-To
<2707931.mvXUDI8C0e@fedora-desktop> (view parent)
DKIM signature
missing
Download raw message
not that i'm aware of. feel free to reach out to the authors, but i
don't remember seeing them in hare community spaces recently

also note that it's not gonna be particularly possible to write a good
lsp until we finish the hosted typechecker

Re: Language Server

Details
Message ID
<5994088.lOV4Wx5bFT@fedora-desktop>
In-Reply-To
<CXDW07I0TY7U.38EEV25UNAIIE@d2evs.net> (view parent)
DKIM signature
missing
Download raw message
On Saturday 2 December 2023 15:37:25 EET Ember Sawady wrote:
> not that i'm aware of. feel free to reach out to the authors, but i
> don't remember seeing them in hare community spaces recently
> 
> also note that it's not gonna be particularly possible to write a good
> lsp until we finish the hosted typechecker

Ah alright. :) I can wait, i just find language servers very helpful
because im so scatterbrained that i sometimes get lost in code lol.

ps. im bad at using mailing lists, so i hope this shows correctly

Re: Language Server

Details
Message ID
<CXDW77ID7PVE.1THKNQ3BWN98M@d2evs.net>
In-Reply-To
<5994088.lOV4Wx5bFT@fedora-desktop> (view parent)
DKIM signature
missing
Download raw message
On Sat Dec 2, 2023 at 1:39 PM UTC, Akseli Lahtinen wrote:
> ps. im bad at using mailing lists, so i hope this shows correctly

your original reply wasn't linked to the previous thread - there's a
button in the lists.sr.ht ui to forward you a copy of an old thread,
which you can then reply to and it'll get linked up properly

(on a slightly more technical level: i'm pretty sure you just set the
subject to "Re: Language Server", threading is actually controlled by
the In-Reply-To header, which mail clients set automatically when you
use the reply button or equivalent)
Reply to thread Export thread (mbox)