Lorenzobattistela/lambda-calculus-eval

Applicative order vs Normal order

Closed this issue · 0 comments

Lorenzobattistela commented

Add options for applicative order and normal order for LC reduction