sweirich/pi-forall — pull request #9 by jstolarek (2014-10-02 11:48:14+00:00)
Title: Minor fixes in lecture notes

I fixed some minor mistakes in `notes.md` (first commit) and then improved formatting a bit.