From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 5 Mar 2017 17:04:45 +0000 (-0700)
Subject: fix README
X-Git-Tag: v0.8.110~759
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=743602778f8a7c6e9ada02cb778d77df8a109983;p=scryer-prolog.git

fix README
---

diff --git a/README.md b/README.md
index b679c852..06b9341e 100644
--- a/README.md
+++ b/README.md
@@ -29,7 +29,7 @@ h(z).
 }:
 ```
 
-Single clause predicates can entered without brackets, as in
+Single clause predicates can be entered without brackets, as in
 ```
 l3> p(X) :- q(X).
 l3> f(s).
@@ -56,7 +56,7 @@ Pressing A will abort the search and return to the prompt.
 
 Note that the values of variables belonging to successful queries are
 printed out, on one line each. Uninstantiated variables are denoted by
-a number preceded by an underscore (X = _0 is an example in the
+a number preceded by an underscore (`X = _0` is an example in the
 above).
 
 ## Occurs check