Lambda Calculus Parser

Hi there,
Hope you are doing well,

Please find the below-attached document for guidelines. I have also added recommended steps to make it a bit more easier. Kindly drop a message if you are interested and have a rough solution, good documentation as well as right functioning. Please make sure your bid is accurate.

Thanks and Warm Regards,
Rose, R