quit.help.lhs

/quit                                                Quit program

No arguments.

Exits the synthesis server.

Asynchronous. Replies to sender with /done just before completion.