From 7a3e6e19b15f0eb87dec81fac74257c9afb8c447 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 19 Apr 2020 22:36:27 +0200 Subject: [PATCH] update comment --- src/prolog/lib/time.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/prolog/lib/time.pl b/src/prolog/lib/time.pl index 42438c62..3e401044 100644 --- a/src/prolog/lib/time.pl +++ b/src/prolog/lib/time.pl @@ -3,8 +3,8 @@ Part of Scryer Prolog. This library provides predicates for reasoning about time. - sleep/1 should be implemented here, sleeping for a number of seconds. - In addition, this library should provide reasoning about time stamps. + Reasoning about time stamps would be a useful addition, for example + by obtaining the current time, comparing and formatting it. '$cpu_new' can be replaced by statistics/2 once that is implemented. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ -- 2.54.0