We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Kernel Operational Semantics (markdown)
Add Statement configurations
Add rules for argument evaluation for static invocation
Created Kernel Operational Semantics (markdown)