From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 26 May 2017 18:48:09 +0000 (-0600)
Subject: update README
X-Git-Tag: v0.8.110~719
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ca43a5b8e0bbcfce897599ad179398978879393f;p=scryer-prolog.git

update README
---

diff --git a/README.md b/README.md
index c73b1f17..2c4895de 100644
--- a/README.md
+++ b/README.md
@@ -36,9 +36,12 @@ Extend rusty-wam to include the following, among other features:
   
 ## Phase 3
 
-Use the WAM code generated by the completed code generator to target LLVM
+Use the WAM code produced by the completed code generator to target LLVM
 IR to get JIT-compiled and -executed Prolog programs.
 
+It's my hope to use rusty-wam as the logic engine of a low level (and
+ideally, very fast) Shen implementation.
+
 ## Tutorial
 To enter a multi-clause predicate, the brackets ":{" and "}:" are used
 as delimiters. They must be contained entirely within their own lines.