Description

Interrupt is a channel for interrupting the runtime. You can use this to halt a long running execution, for example. See "Halting Problem" for more information.