naming the asynchronous termination signal #4
Description
This thread thread originally begun elsewhere, relevant for the actors feature of asynchronous task termination.
possible names evoking the appropriate violation of any unwritten static prejudices...
- destruct/oy
- halt, break, terminate, obvious
- :keyword
- finalise-now
- something along the lines of "QED" actually could be relevant, for the usecase of theorem proving