wait let me check
1 + 1
(\f. \x. f x) (\m. \n. \f. \x. m f (n f x)) (\f. \x. f x)
(\m. \n. \f. \x. m f (n f x)) (\f. \x. f x)
\n. \f. \x. (\f. \x. f x) f (n f x)
\n. \f. \x. f (n f x)
successorthe successor function
whats 1+1. very important question
edit: please hurry the teachers coming to get the paper