4 ms·Numbers and Arithmetics with functions only: lambda calculus live tutorial4 points by viebel 10y ago