From 1799c1993346330eaa5747900ab8bf76df8efd5f Mon Sep 17 00:00:00 2001 From: notoria Date: Fri, 19 Jun 2020 17:48:55 +0200 Subject: [PATCH] Added an entry in README --- README.md | 2 ++ 1 file changed, 2 insertions(+) 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 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 -- 2.54.0