Permalink
Browse files

Merge pull request #12 from fdb/patch-1

Fix typos in Unification section.
  • Loading branch information...
2 parents ee3ab2c + 7aa82f2 commit dab3b19c18665325e9576065e5350d167d891046 @swannodette committed Nov 27, 2012
Showing with 2 additions and 2 deletions.
  1. +2 −2 README.md
View
@@ -251,9 +251,9 @@ tut1=> (run* [q] (fresh [x y] (== [x 2] [1 y]) (== q [x y])))
([1 2])
```
-This shows that in order for the two terms <code>[x 2]</code> and <code>[1 y]</code> to be unified, the logic varialbe <code>x</code> must be bound to 1 and the logic variable <code>y</code> must be bound to 2.
+This shows that in order for the two terms <code>[x 2]</code> and <code>[1 y]</code> to be unified, the logic variable <code>x</code> must be bound to 1 and the logic variable <code>y</code> must be bound to 2.
-Note: it's perfectly fine to unify two variable to each other:
+Note: it's perfectly fine to unify two variables to each other:
```clj
tut1=> (run* [q] (fresh [x y] (== x y) (== q [x y])))

0 comments on commit dab3b19

Please sign in to comment.