4 ms·We could write only in the untyped lambda calculus -- it has everything you need...by cryptonector 1y agoWe could write only in the untyped lambda calculus -- it has everything you need...