Beginning of week12 notes
More notes outline from wednesday class
Added TODOS
Started cleaning up
Cleaned up and fleshed out some sections
Commit stuff from desktop
Merge
Fixed non-buildingness of week12 notes
Cleaned up my sections
Cleaned up an inference rule
Cleaned up a bit more
Made all references to merid non-italic
Overrode refl
Made loop and base written properly
Did some more cleaning up
Finished notes for week 12
Merge pull request #6 from maurer/cmu-2013-fall

Week 12 Notes