From: Mark Thom Date: Fri, 29 Nov 2019 01:22:59 +0000 (-0400) Subject: merge latest commit X-Git-Tag: v0.8.118~38 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f998d6a99f28b3918956e4d87484b820c693b1db;p=scryer-prolog.git merge latest commit --- f998d6a99f28b3918956e4d87484b820c693b1db