From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 6 Nov 2017 00:14:49 +0000 (-0700)
Subject: correct README
X-Git-Tag: v0.8.110~681
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ff9a1a60d88d8278a4cef44a35de7483c615fc41;p=scryer-prolog.git

correct README
---

diff --git a/README.md b/README.md
index b1360480..26bdbd60 100644
--- a/README.md
+++ b/README.md
@@ -47,7 +47,7 @@ ideally, very fast) [Shen](http://shenlanguage.org) implementation.
 The following predicates are built-in to rusty-wam.
 
 * Arithmetic support:
-  ** is/2 works for (+)/2, (-)/{1,2}, (*)/2, (//)/2, (div)/2.
+    * is/2 works for (+)/2, (-)/{1,2}, (*)/2, (//)/2, (div)/2.
 * atomic/1
 * call/N (1 <= N <= 63)
 * catch/3
@@ -136,5 +136,5 @@ arithmetic operators with the usual precedences,
 ```
 prolog> ?- X = -5 + 3 - (2 * 4) // 8.
 true.
-X = -(+(-(5), 3), /(*(2, 4), 8)).
+X = -(+(-(5), 3), //(*(2, 4), 8)).
 ```
\ No newline at end of file