Merge pull request #1 from clarissalittler/master

changing ws 2
Fixed some typos in the pumping lemma explanations.  Some greater-than and less-than
signs were, I think, reversed.
setting ignore rules
Merge remote-tracking branch 'upstream/master'
Merge pull request #1 from fizban-of-ragnarok/master

Typo corrections to lecture notes