It really irks me when people forget to capitalize Alonzo Church's last name.
Fixed some more typos.
Merge pull request #34 from pbl64k/hof-srt

Fixed some minor typos in HOF section subtitles.
slides + transcripts for week 5
Merge pull request #35 from fptudelft/content

slides + transcripts for week 5