4 ms·lambda calculus has entered the chatby miningape 2y agolambda calculus has entered the chatButtons840 2y agohttps://wiki.haskell.org/Peano_numbers https://wiki.haskell.org/Peano_numbers