Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse code

Fix typos in Unification section.

  • Loading branch information...
commit 7aa82f28ab1bcdf7b1980b99c41c3ce8ddc317f9 1 parent ee3ab2c
Frederik De Bleser authored November 27, 2012

Showing 1 changed file with 2 additions and 2 deletions. Show diff stats Hide diff stats

  1. 4  README.md
4  README.md
Source Rendered
@@ -251,9 +251,9 @@ tut1=> (run* [q] (fresh [x y] (== [x 2] [1 y]) (== q [x y])))
251 251
 ([1 2])
252 252
 ```
253 253
 
254  
-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.
  254
+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.
255 255
 
256  
-Note: it's perfectly fine to unify two variable to each other:
  256
+Note: it's perfectly fine to unify two variables to each other:
257 257
 
258 258
 ```clj
259 259
 tut1=> (run* [q] (fresh [x y] (== x y) (== q [x y])))

0 notes on commit 7aa82f2

Please sign in to comment.
Something went wrong with that request. Please try again.