≡ means syntactic identity, not equivalence
[lambda.git] / readings / kaplan-plexy.pdf
2015-03-03 Jimadd readings