Warren's Abstract Machine: A Tutorial Reconstruction (via veqq) — discussion

#logiclangs