Miniassignment 1

Assignment spec

SpecChecker

Javadoc

Sample code