浅尝The Little Prover一书, 重逢Chez Scheme