exception-handling icon indicating copy to clipboard operation
exception-handling copied to clipboard
verified publisher icon WebAssembly

Add prose for typing rule of DELEGATEadm

Open ioannad opened this issue 3 years ago • 0 comments

Also switched to the current version of the formal rule, based on the formal overview document.

ioannad avatar Sep 16 '22 12:09 ioannad