racketf/lambda.occurs-free

Is a variable free in a lambda expression (see EOPL)?

Is a variable free in a lambda expression (see EOPL)?

Course: Principles of Programming Languages, Monsoon 2019
Taught by: Prof. Venkatesh Chopella

See main.rkt for code.