2009-07-12から1日間の記事一覧
Exercise-1.20 例えば y が occurs free な lambda 式は以下。 ((lambda (x) x) y)
occurs bound な UT を書く。
Exercise-1.20 例えば y が occurs free な lambda 式は以下。 ((lambda (x) x) y)
occurs bound な UT を書く。
