Homework Done (I think?) #12

Open

talha-ahsan wants to merge 3 commits intomac-comp394:masterfrom

talha-ahsan:master

Commits on Mar 9, 2018

Implemented the retail_transaction refund state as well as added unit tests that confirm the accuracy of the refund state. Desugaring is also partially completed.
talha-ahsan
committed
Finished desugaring
talha-ahsan
committed
removed the todo
talha-ahsan
committed