A server process that runs hint.
Why do you think that https://github.com/diku-dk/futhark is a good alternative to hint-server
A server process that runs hint.
Why do you think that https://github.com/diku-dk/futhark is a good alternative to hint-server