6.005 — Software Construction
Spring 2016

Coming soon...

Reading 15: Equality

This reading is will be released soon!

You are not required to implement ADT equality for problem set 2.