stop_purs_ide_server
Stop the PureScript IDE server to free up system resources, ensuring efficient project switching or concluding type-checking tasks. Halts all pursIDE-related operations.
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 |