3 ms·
Indeed. This encoding is due to church (http://en.wikipedia.org/wiki/Church_encoding http://en.wikipedia.org/wiki/Church_encoding).
by rmcclellan 15y ago
Indeed. This encoding is due to church (http://en.wikipedia.org/wiki/Church_encoding http://en.wikipedia.org/wiki/Church_encoding).