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