A repository containing the style-checking programs for the HMC CS70 course.