Fix typos in Unification section. #12

Merged
merged 1 commit into from Nov 27, 2012

Conversation

Projects
None yet
2 participants
Contributor

fdb commented Nov 27, 2012

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

@swannodette swannodette added a commit that referenced this pull request Nov 27, 2012

@swannodette swannodette Merge pull request #12 from fdb/patch-1
Fix typos in Unification section.
dab3b19

@swannodette swannodette merged commit dab3b19 into swannodette:master Nov 27, 2012

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment