stop_purs_ide_server
Terminate the PureScript IDE server to release system resources after completing tasks like type checking or switching projects, disabling related IDE tools.
Instructions
Stop the PureScript IDE server to free up system resources. Use when you're done with type checking or want to switch projects. All pursIde* tools will stop working after this.
Input Schema
Name | Required | Description | Default |
---|---|---|---|
No arguments |