The roc language server is now included with every nightly release :)
Last updated: Oct 20 2025 at 12:16 UTC
Anton (Dec 15 2023 at 12:46): Anton (Dec 15 2023 at 12:46):