Hence the SECD machine is often presented in a more detailed form, such as Peter Henderson's Lispkit Lisp compiler, which has been distributed since 1980.
所以 SECD 机经常以更具体的形式出现，比如 Peter Henderson 的 Lispkit Lisp 编译器，它自1980年开始发行。