Gracefully shut down the PureScript IDE server using its built-in quit command, ensuring resource release without abrupt termination.
MIT
Provide your AI coding tools with token-efficient access to up-to-date technical documentation for…
Token-efficient search for coding agents over public and private documentation.