A note on implementing equals on generic types here.
There is permanent room change to our Thursday office hours. Starting October 26, 2017, our office hours on Thursdays will be held at CII 3226. The time is the same: 3:30 pm to 5:30 pm. (The room change is out of our control, we were just told we cannot be in AE217 anymore. Thanks for your understanding.)
Please have your RPI ID card with you since you will need it to access the room. Your IDs have already been added to the building access list.
Several students have reported that Dafny at Rise4Fun.com is not working. There are binary downloads for Windows, Mac and Linux at https://github.com/Microsoft/dafny/releases. Konstantin has written detailed instructions on how to install and run Dafny on Windows on the LMS discussion board. If you have questions about Mac or Linux, email us or post on the LMS discussion board.
BRING YOUR LAPTOPS to class on Friday, Sept 15th for another Dafny lab!
Homework 1 is posted. Follow the instructions to clone the new repository and access homework text.
Homework 0 is posted.