From: Mark Thom Date: Sat, 29 Oct 2016 02:00:17 +0000 (-0600) Subject: add linebreaks X-Git-Tag: v0.8.110~796 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5b61261cda54d73c7b05b4a05c63ae6a0ef66bb0;p=scryer-prolog.git add linebreaks --- diff --git a/README.md b/README.md index 9515336a..db90e5c2 100644 --- a/README.md +++ b/README.md @@ -14,7 +14,7 @@ atoms are currently supported. An example of the level of interaction currently supported is: -```l0> p(Z, Z). +```l0> p(Z, Z). Program stored. l0> ?- p(Z, Z). yes @@ -40,4 +40,5 @@ An example of the level of interaction currently supported is: yes l0> ?- p(z, h(Z, w), f(w)). yes - l0> quit``` \ No newline at end of file + l0> quit +``` \ No newline at end of file