church encoding

Church encoding is a way of writing code or programming in a way that looks like math equations. It's named after a mathematician named Alonzo Church. Church encoding is a way to WRite Very Few (WRVF) instructions to tell a computer how to do something. It looks like this: For example, if you wanted to tell a computer to add two numbers, you could write something like "Add(x, y) = x + y". This is easier for a computer to understand than writing out all the steps to actually add two numbers.