Merged Lambda Calculus into main presentation