]> Repositorios git - scryer-prolog.git/commitdiff
tweak README
authorMark Thom <[email protected]>
Sun, 3 Dec 2017 21:22:26 +0000 (14:22 -0700)
committerMark Thom <[email protected]>
Sun, 3 Dec 2017 21:22:26 +0000 (14:22 -0700)
README.md

index 18ac0cc4fd4744cfb5f0350410277f01b61b1c67..02d57aee7e58a4bcdad42fdeb2a0331b85e8510f 100644 (file)
--- a/README.md
+++ b/README.md
@@ -47,18 +47,18 @@ 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, (/)/2, (rdiv)/2,
-      (xor)/2, (rem)/2, (mod)/2, (/\\)/2, (\\/)/2, (>>)/2, (<<)/2.
-* atomic/1
-* call/N (1 <= N <= 63)
-* catch/3
-* duplicate_term/2
-* false/0
-* (\\+)/1
-* (=)/2
-* throw/1
-* true/0
-* var/1
+    * is/2 works for `(+)/2`, `(-)/{1,2}`, `(*)/2`, `(//)/2`, `(div)/2`, `(/)/2`, `(rdiv)/2`,
+      `(xor)/2`, `(rem)/2`, `(mod)/2`, `(/\\)/2`, `(\\/)/2`, `(>>)/2`, `(<<)/2`.
+* `atomic/1`
+* `call/N` (1 <= N <= 63)
+* `catch/3`
+* `duplicate_term/2`
+* `false/0`
+* `(\\+)/1`
+* `(=)/2`
+* `throw/1`
+* `true/0`
+* `var/1`
 
 ## Tutorial
 To enter a multi-clause predicate, the brackets ":{" and "}:" are used