From: Mark Thom Date: Sun, 23 Feb 2020 20:22:56 +0000 (-0700) Subject: mention rustup.rs in README (#261) X-Git-Tag: v0.8.119~70 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1d79e2246815eed8e58bf0d6985891721046a7f6;p=scryer-prolog.git mention rustup.rs in README (#261) --- diff --git a/README.md b/README.md index b605d9d1..6606e691 100644 --- a/README.md +++ b/README.md @@ -51,7 +51,7 @@ Extend Scryer Prolog to include the following, among other features: - [x] Delimited continuations based on reset/3, shift/1 (documented in "Delimited Continuations for Prolog"). - [x] Tabling library based on delimited continuations - (documented in "Tabling as a Library with Delimited Control"). + (documented in "Tabling as a Library with Delimited Control"). - [x] A _redone_ representation of strings as difference list of chars, using a packed internal representation. - [ ] clp(B) and clp(ℤ) as builtin libraries (_in progress_). @@ -92,8 +92,14 @@ strings. First, install the latest stable version of [Rust](https://www.rust-lang.org/en-US/install.html) using your -preferred method. Then install Scryer Prolog with cargo, -like so: +preferred method. Scryer tends to use features from newer Rust +releases, whereas Rust packages in Linux distributions, Macports, +etc. tend to lag behind. [rustup](http://rustup.rs) will keep your +Rust updated to the latest stable release; any existing Rust +distribution should be uninstalled from your system before rustup is +used. + +Scryer Prolog can be installed with cargo, like so: ``` $> cargo install scryer-prolog