From: Mark Date: Sun, 19 Nov 2023 18:20:34 +0000 (-0700) Subject: Merge branch 'time_inferences' of https://github.com/triska/scryer-prolog into triska... X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3f5dbabc1572f1166046552714b8cb42d804d18f;p=scryer-prolog.git Merge branch 'time_inferences' of https://github.com/triska/scryer-prolog into triska-time_inferences --- 3f5dbabc1572f1166046552714b8cb42d804d18f