ewfelten/cos432-lecture-notes — pull request #4 by dmrd (2014-09-15 17:13:22+00:00)
Title: Update lecture 2 notes, simple Makefile

Mostly small changes, bit of new content/different formalization.