Kernel Operational Semantics

Jump to bottom

Kevin Millikin edited this page May 10, 2017 · 12 revisions

<x, ρ, k>_eval → <k, ρ(x)>_cont

Important

The wiki has moved to https://github.com/dart-lang/sdk/tree/main/docs; please don't edit the pages here.