mention symmetric encryption and ChaCha20-Poly1305

diff --git a/README.md b/README.md
index 6c431ac64b973eeffceae46a3877d8a70500dd96..df526bf80a0440190038a42eba3f1e5bc8e77380 100644 (file)
--- a/README.md
+++ b/README.md
@@ -445,10 +445,11 @@ The modules that ship with Scryer Prolog are also called
 * [`os`](src/lib/os.pl)
   Predicates for reasoning about environment variables.
 * [`crypto`](src/lib/crypto.pl)
-  Cryptographically secure random numbers and hashes, HMAC-based
-  key derivation (HKDF), password-based key derivation (PBKDF2),
-  public key signatures and signature verification with Ed25519,
-  authenticated encryption, and reasoning about elliptic curves.
+  Cryptographically secure random numbers and hashes, HMAC-based key
+  derivation (HKDF), password-based key derivation (PBKDF2),
+  public key signatures and signature verification with Ed25519,
+  authenticated symmetric encryption with ChaCha20-Poly1305, and
+  reasoning about elliptic curves.
 
 To use predicates provided by the `lists` library, write: