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