Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
hachyderm.io is one of the many independent Mastodon servers you can use to participate in the fediverse.
Hachyderm is a safe space, LGBTQIA+ and BLM, primarily comprised of tech industry professionals world wide. Note that many non-user account types have restrictions - please see our About page.

Administered by:

Server stats:

9.5K
active users

hachyderm.io: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.5

Public
Wolf

I have a nice set of plugins in . But there are two things I want. I want better autocomplete. I want to have language constructs as text-objects: functions, classes, blocks, context-managers. I especially want this for . I think I want it to use the LSP. I think I also want it for . For the autocomplete part there are two different things (completely unrelated) that have "coq" in the name. I think the one I want is "coq_nvim". Not sure yet about LSP-driven navigation. I welcome opinions and experiences.

ExploreLive feeds
About