Uniformize reduction, conversion, contraction, equivalence #190
Description
In the lambda calculus part, conversion, reduction, contraction, and equivalence (in their alpha, beta, eta variants) are not used uniformly. Fix that.
{{ message }}
In the lambda calculus part, conversion, reduction, contraction, and equivalence (in their alpha, beta, eta variants) are not used uniformly. Fix that.