Lambda calculus expression evaluator and associated IRC bot