Lambda Calculus Calculator

Input

Expanded Form:


    

Result


    
    

Reduction Steps: