Added an entry in README

diff --git a/README.md b/README.md
index c7e6281f3e2edbe4866e13598fa90c5dec12f757..1e7e3a6c4f51eea4c6ab5143776deb99e553a60e 100644 (file)
--- a/README.md
+++ b/README.md
@@ -378,6 +378,8 @@ 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*.
+* [`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