OCaml programming project

The project consists of following deliverables in the OCaml programming language:

• interpreter_bigstep: Interpreter of the language Arith in big-step evaluation semantics.
• interpreter_dynamic: Interpreter of the Lambda Calculus with dynamic scope and dynamic typing.
• interpreter: Interpreter of the language FPL with all the features we have seen up to the topic Exceptions included.
Refer to project description file in the attachments for more details
Also, please provide detailed description on how you implemented this project