• + 0 comments

    Just look at https://en.wikipedia.org/wiki/Church_encoding#Church_numerals