Project 0 is now available if you want to get started. I provided a template file that sets GHC options, defines the
AE data type, and defines signatures for each function required for the project. Hopefully this will help you get started. Due date is currently September 7, but that may change as I see how class progresses.
Please note that a parser from concrete syntax to abstract syntax is required only for Exercise 4 and I provided the parser in the template file for you. Also note that numbers in this parser are naturals and should never be negative. This means you will need to do some kind of error checking to catch problems.
We’ll talk about testing later, but if you are brave there is a QuickCheck implementation for part of this language in the examples associated with the text. I do not expect you to use QuickCheck, but I will use it for grading.