strint / sicpAns

《计算机程序的构造和解释》编程题解
167 stars 48 forks source link

Exercise 2.19 's proof is loose #8

Open strint opened 10 years ago