Assignment 1

Assignment spec

SpecChecker