This directory contains code pertinent to Lecture 2: Contracts.

    mystery.c0:         the mystery function with several annotations and
                        invariants that we constructed by the end of Lecture 2.

    mystery-main.c0:    non-failing test cases for the mystery function.

    mystery2*:          a version of the code from last semester's version of
                        the course.

    solution2*:         several solutions corresponding to last semseter's
                        lecture notes.