MP4EX will give you practice writing a recursive descent parser, in this case
for the lambda calculus. You will need to use your lexer from MP3EX. Please read the MP handout for more details.
Please download lambdatest.ml -- this will show you how the parser will be called.
Also, make sure you read the "Guide for Doing MPs".
|