From: notoria <notoria@users.noreply.github.com>
Date: Fri, 19 Jun 2020 15:48:55 +0000 (+0200)
Subject: Added an entry in README
X-Git-Tag: v0.8.127~25^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1799c1993346330eaa5747900ab8bf76df8efd5f;p=scryer-prolog.git

Added an entry in README
---

diff --git a/README.md b/README.md
index c7e6281f..1e7e3a6c 100644
--- a/README.md
+++ b/README.md
@@ -378,6 +378,8 @@ The modules that ship with Scryer&nbsp;Prolog are also called
   write `integer_si(X)` to ensure soundness of your programs.
   "si" stands for *sufficiently instantiated*, and also for
   *sound&nbsp;inference*.
+* [`debug`](src/lib/debug.pl)
+  Various predicates that allow for declarative debugging.
 * [`pio`](src/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