From: Mark Thom <mark.thom@unb.ca>
Date: Wed, 29 Apr 2020 21:42:17 +0000 (-0300)
Subject: add ordsets.pl to README
X-Git-Tag: v0.8.123~94
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=dd4832e40b48a9cb3b9b4c4f0439def2c76e253f;p=scryer-prolog.git

add ordsets.pl to README
---

diff --git a/README.md b/README.md
index a48295c9..43b47ccc 100644
--- a/README.md
+++ b/README.md
@@ -356,6 +356,8 @@ The modules that ship with Scryer&nbsp;Prolog are also called
   providing `empty_assoc/1`, `get_assoc/3`, `put_assoc/4` etc.
   to manage elements in AVL&nbsp;trees which ensure
   *O*(log(*N*))&nbsp;access.
+* [`ordsets`](src/prolog/lib/ordsets.pl)
+  represents ordered sets as lists.
 * [`clpb`](src/prolog/lib/clpb.pl)
   CLP(B): Constraint Logic Programming over Boolean variables,
   a BDD-based SAT&nbsp;solver provided via the predicates