Troupe icon indicating copy to clipboard operation
Troupe copied to clipboard

Published 20 hours ago • verified publisher icon TroupeLang

send unsoundness

Open jfblaa opened this issue 2 years ago • 0 comments

send currently does not raise the blocking label with the level of the value being sent (ditto for the pid). this is likely unsound.

jfblaa avatar May 25 '23 10:05 jfblaa