Closed this issue 9 years ago · 1 comments
b() method that Combinator class has means "beta reducing", but In Cobinatory Logic, it use "weak reduction". Then, b() method rename w().
Refact,