Do the following, in either order.

• The mini-tutorial on modules
• The mini-tutorial on tests. Note that the name of the test primitive is different here than in plait. test in plait is roughly equivalant to check-equal?