Talk:Church numerals: Difference between revisions

m
Line 13:
: :-) It could certainly seem like a laborious route to integer arithmetic, but Peano numbers and Church encoding have an interest of their own in the history of computing theory (and even in the implementation of Smalltalk). In the Rosetta context, they can reveal the different routes which each language takes to manipulating higher-order functions.
: (I moved your comment here – given the essentially anonymous/collective character of contributions, the talk page seems the more natural home for it) [[User:Hout|Hout]] ([[User talk:Hout|talk]]) 17:39, 13 September 2018 (UTC)
:: OK [[User:Petelomax|Pete Lomax]] ([[User talk:Petelomax|talk]]) 19:02, 13 September 2018 (UTC)
7,813

edits