4 ms·The Boom Hierarchy (1993) [pdf]10 points by theaeolist 8y agokbob 8y agoInteresting stuff. Can anyone explain what "pair projection" mentioned in section 4.6 is? I've not heard the term, and neither has DuckDuckGo.pkhuong 8y agoProjection functions for pairs, so first/second (i.e., (A, B) -> A, (A, B) -> B).