include library(pio) and library(charsio) in the itemization

diff --git a/README.md b/README.md
index 2762b86f527301f7cf7c5eba4d7b8b85ae0e6126..2890cb3538c009c3235ad199fd4c172d3761f8b6 100644 (file)
--- a/README.md
+++ b/README.md
@@ -375,6 +375,14 @@ The modules that ship with Scryer Prolog are also called
   write `integer_si(X)` to ensure soundness of your programs.
   "si" stands for *sufficiently instantiated*, and also for
   *sound inference*.
+* [`pio`](src/prolog/lib/pio.pl)
+  `phrase_from_file/2` applies a DCG nonterminal to the contents of a
+  file, reading lazily only as much as is needed. Due to the compact
+  internal string representation, also extremely large files can be
+  efficiently processed with Scryer Prolog in this way.
+* [`charsio`](src/prolog/lib/charsio.pl) Various predicates that are
+  useful for parsing and reasoning about characters, notably
+  `char_type/2` to classify characters according to their type.
 * [`error`](src/prolog/lib/error.pl)
   `must_be/2` and `can_be/2` complement the type checks provided
   by `library(si)`, and are especially useful for Prolog library
@@ -419,12 +427,6 @@ The modules that ship with Scryer Prolog are also called
   public key signatures and signature verification with Ed25519,
   authenticated encryption, and reasoning about elliptic curves.
 
-To read contents of external files, use `phrase_from_file/2` from
-[`library(pio)`](src/prolog/lib/pio.pl) to apply a DCG to
-file contents. The predicates in
-[`library(charsio)`](src/prolog/lib/charsio.pl) are also useful for
-parsing.
-
 To use predicates provided by the `lists` library, write:
 
 ```