purescript-mode
purescript-mode copied to clipboard
Different inf buffer names based on directory
Currently, there's only one name for the inf buffer with the PS IDE process - *psc-ide-server-*. So it's not possible to have multiple servers running.
Maybe related, but psc-ide-server-quit never finds the server.