Closed ursi closed 4 years ago
I think rule 2 of ->b* implies the rule 2 defined in the Properties of ->b* section above
rule 2 of ->b*
Properties of ->b*
https://github.com/hbr/Lambda-Calculus/blob/53d40c88a1fe11391eebe9a4c225a1d4a2e7cf63/lambda1/lambdaterms.tex#L472-L491
I think
rule 2 of ->b*implies the rule 2 defined in theProperties of ->b*section abovehttps://github.com/hbr/Lambda-Calculus/blob/53d40c88a1fe11391eebe9a4c225a1d4a2e7cf63/lambda1/lambdaterms.tex#L472-L491