introduction to lambda calculus for complete beginners | Comidoc