New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

naming the asynchronous termination signal #4

Open

adlai opened this issue Oct 10, 2024 · 1 comment

Owner

adlai commented Oct 10, 2024 •

edited

Loading

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

This comment was marked as off-topic.

Sign in to view

adlai changed the title ~~don't tell how to [ab]use, rekt pattern~~ naming the asynchronous termination signal

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment