I just pushed up a draft of Project 3. I’m still working on proofing and cleaning up the description, but thought I would push it up anyway so you can begin looking at it (or even coding). I do not have the two parsers quite ready to post yet, but you can start on the evaluators and elaborators without a concrete syntax and parser to work from. Hooking in the parser should be your last development step.
We’ll talk about when this project is due formally in class. In the mean time if you find errors or anything that confuses you, please do let me know.