Any plans to release the language server as a NuGet package? Seems like it’s not part of the Dafny release.

Question

Any plans to release the language server as a NuGet package? Seems like it’s not part of the Dafny release.

Answer

It is now available on NuGet, along with other components of the Dafny: (https://www.nuget.org/packages?q=dafny):