純λ演算子的 eval-readback 和 eval-apply 大步求值器的等價性

通過構造λ演算子的策略空間,證明 eval-readback 和 eval-apply 大步求值器在一步等價性上的等價性。