If you have Telegram, you can launch
λ-Calculus Bot right away.