3 ms·Spy: language semantics for a statically-typed compiled variant of Python1 points by fanf2 5mo ago