4 ms·See also: http://en.wikipedia.org/wiki/Church_encoding http://en.wikipedia.org/wiki/Church_encodingby judofyr 15y agoSee also: http://en.wikipedia.org/wiki/Church_encoding http://en.wikipedia.org/wiki/Church_encoding