Closed cblp closed 8 years ago
I simply do what README says and get:
The ghc-mod server server crashed 5 times in the last 3 minutes. The server will not be restarted.
Was this issue resolved after you built the server and it was copied into the client directory?
I simply do what README says and get: