Church-encoding natural numbers

Published: Feb. 17, 2020, 11 p.m.

What is fold-right for a natural number?\xa0 How do we define addition with this?\xa0 The problem of inefficient predecessor.