[–] kbob 7y 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 7y ago ↗ Projection functions for pairs, so first/second (i.e., (A, B) -> A, (A, B) -> B).
[–] pkhuong 7y ago ↗ Projection functions for pairs, so first/second (i.e., (A, B) -> A, (A, B) -> B).
2 comments
[ 2.8 ms ] story [ 16.5 ms ] thread