]> Repositorios git - scryer-prolog.git/commitdiff
correct README
authorMark Thom <[email protected]>
Mon, 6 Nov 2017 00:14:49 +0000 (17:14 -0700)
committerMark Thom <[email protected]>
Mon, 6 Nov 2017 00:14:49 +0000 (17:14 -0700)
README.md

index b13604802be511c246bc6b3553340fbb81b548f3..26bdbd609dcaf098c1048235a9fb3a9e62a7f047 100644 (file)
--- 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