updates to lecture notes
updates to lecture notes
Bump array bounds for GHC 7.8.2
Merge pull request #3 from jwiegley/array-bump

Array bump
array bounds bump in master
parsec =3.1.5 doesn't compile
Merge branch '2014' of https://github.com/sweirich/pi-forall into 2014
catching up version2, version3, soln with master
modifications to equality
after class 06/17 morning
Merge branch '2014' of github.com:sweirich/pi-forall into 2014

Conflicts:
	notes.md
	version1/src/TypeCheck.hs