Church Numerals Church numerals are the standard way of representing natural numbers in the lambda calculus. Cn, the Church numeral for n, iterates a given function n times on a given argument. So we have C0 f x = f⁰ x = x C1 f x = f¹ x = f x C2 f…

The cryptocurrency space features endless debates about the pros and cons of various possible emission curves. Prime among them is question of whether supply should be capped (finite) or uncapped (infinite). But is this really an essential difference? It doesn’t take much to change a finite supply into an infinite…