In Church arithmetic, multiplication is defined as function composition; that is, the dot operator `.` in Haskell-like languages. Addition is considerably more complex; it is defined as `lift (.)`. Exponentiation is even simpler; it is function application, so the `id` function - except that we write exponentiation backwards, so actually `flip id`.
In Church arithmetic, multiplication is defined as function composition; that is, the dot operator `.` in Haskell-like languages. Addition is considerably more complex; it is defined as `lift (.)`. Exponentiation is even simpler; it is function application, so the `id` function - except that we write exponentiation backwards, so actually `flip id`.