Assignment 5

This assignment introduces MiniDafny and focuses on parsing.

You should download Parsing.zip. This contains the template for the exercise - the standard stack/cabal boilerplate, as well as a few Haskell files. The Parser.hs file contains a small applicative parser library that you will use to parse miniDafny. The Syntax.hs file describes the Syntax of MiniDafny—you can replace the end of it with your own pretty printer from the previous homework. The DafnyParser.hs file actually contains your homework: fill in that file by following its instructions and submit just that file through Gradescope.

The deadline for this is Friday, April 5th, 11:59 pm Eastern.