This is language interpreter which interprets the lamdbda expressions and literals. I have done this as series of assignments for my academic elective EOPL(Essentials of Programming Languages)
my_reduce <exp> <env> ---- for short testing
or
(reduce(lookup(parse(<exp>))<env>))) – for detail testing