my lambda calculus reducer

I made a lambda calculus equation reducer:

1 Like