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