3 ms·
Interesting stuff. Can anyone explain what "pair projection" mentioned in section 4.6 is? I've not heard the term, and neither has DuckDuckGo.
by kbob 8y ago
Interesting 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).