Assignment 4

This assignment introduces MiniDafny and focuses on evaluation.

You should download Eval.hs. This contains just the evaluator template for the exercise. You should add this file to your directory with homework 3 - it operates on the same syntax. You should also modify the miniDafny.cabal file to include Eval under the “exposed-modules” in the library and “other-modules” in the executable. Fill in Eval.hs by following its instructions and submit just that file through Gradescope.

As a reminder, you should take a look and follow the style guide.

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