Lambda Calculus Translation, CSC530, Spring 2021

Write a compiler that accepts terms in the lambda calculus and outputs either JavaScript or Python or (massively harder) C.

Here’s the grammar of the input language:

...where num is a number, and id is an identifier.

1 Handin

Here’s a Github Classroom link: https://classroom.github.com/g/yaqX-5lk

You can work with a partner, if you like.