swannodette/logic-tutorial — pull request #12 by fdb (2012-11-27 11:32:49+00:00)
Title: Fix typos in Unification section.

I found some small typos while reading through your tutorial. Here's a fix.