viewpoint: combinatory logic lambda calculus
Enter a term to reduce (or click on one of the terms below):
    TermMax Reductions 
    Perform normal β-reduction
    Perform weak β-reductions onlywhat is this?
Example terms: