Assignment 1

This assignment focuses on basic programming with Dafny. It consists of 3 simple problems:

• Basic Let-Binding
• Tree functions
• Maps

You should download Homework1.dfy. This contains the template for the exercise - fill it in by following its instructions and submit it through Gradescope.

The deadline for this is next Friday, February 9th, 11:59 pm Eastern.