The K semantics

The K files under semantics/k, as K's parser reads them: the runtime, the layout and the rules translated from CPython's C.